• 정보처리학회논문지A
• /
• 제12A권7호
• /
• pp.563-570
• /
• 2005

하드웨어와 소프트웨어를 통합 설계하는 프레임워크인 PeaCE(Ptolemy extension as a Codesign Environment)에서는 데이터 흐름과 제어흐름을 모두 표현할 수 있다. PeaCE에서 제어 흐름을 표현하는 fFSM 명세를 정형 검증하기 위해 fFSM의 단계 의미를 정의하였다. 본 논문에서는 이전 연구에서 정의된 정형 의미를 바탕으로 개발한 자동 검증 도구를 소개한다. 이 도구는 내부 모델체커로 SMV를 사용하며 사용자는 직접 논리식을 기술하지 않고도 레이스 조건, 애매한 전이, 순환 전이 등의 주요한 버그들을 검증할 수 있다.

• 대한전자공학회논문지SD
• /
• 제47권2호
• /
• pp.106-114
• /
• 2010

본 논문은 기가 스케일 System on Chip(SoC)를 위한 통합 설계 및 검증 플랫폼을 제안한다. VLSI 집적도의 발달로 그 복잡도가 증가하여 기존의 RTL 설계 방식으로는 그 생산성 차이(Production Gap)를 극복할 수 없게 되었다. 또한, 검증 차이(Verification Gap)의 증가로 검증 방법론에도 커다란 변혁이 필요하게 되었다. 본 플랫폼은 기존의 상위 수준 합성을 포함하며, 그 결과물을 이용하여 저 전력 설계의 전원 인식 검증 플랫폼과 검증 자동화를 개발하였다. 상위 수준 합성 시 사용되는 Control and Data Row Graph (CDFG)와 고 입력인 상위 수준 언어와 RTL를 기반으로 한 검증 플랫폼 자동화와 전원 인식 검증 방법론을 개발하였다. 검증 플랫폼에는 자동 검사 기능을 포함하고 있으며 Coverage Driven Verification을 채택하고 있다. 특히 전원 인식 검증을 위하여 개발된 조건 랜덤 벡터 생성 알고리듬을 사용하여 랜덤 벡터의 개수를 최소 5.75배 감소시키는 효과를 가져왔고, 전원과 전원 셀에 대한 모델링 기법을 이용하여 일반적인 로직 시뮬레이터 툴을 통해서도 전원 인식 검증을 가능하게 하였다. 이러한 통합된 설계 및 검증 플랫폼은 시스템 수준의 설계에서 검증, 합성에 이르는 전 설계 흐름을 완전 자동화 하여 상위 수준의 설계와 검증을 가능하게 하고 있다.

• 한국압력기기공학회 논문집
• /
• 제7권3호
• /
• pp.8-14
• /
• 2011

The clogging of the flow area at the tube support plates(TSPs), especially at the upper TSPs results in the water level oscillation of a steam generator during normal operation. A reduction of the TSP flow area causes to increase in pressure drop within the two-phase flow zone, which destabilizes the boiling flow through the tube bundle. This phenomenon was occasionally observed at a few domestic and foreign nuclear power plants. One of the methods for defining the flow area clogging is visual inspection, which is the most effective inspection method. The results of the visual inspection for TSPs' flow area are clogging images on TSPs' quartrefoil lobes. These images are complexly distorted due to lens aberration and external factors like the distance to a subject and angle etc. In this work, we developed the analysis algorithm for clogging image of the TSP flow area of steam generators. For this purpose, we designed an image verification device applicable to the camera employed in the field for visual inspection and then, we demonstrated the validity of image analysis algorithm by using this device and commercial autoCAD program.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2001년도 하계종합학술대회 논문집(2)
• /
• pp.249-252
• /
• 2001

The paper describes the physical design flow of QPSK Demodulator in operating 60MHz. It includes problems and issues of each design flow, verification process for physical layout.

• 전기학회논문지P
• /
• 제56권1호
• /
• pp.23-27
• /
• 2007

This article presents a review on chaos analysis of two-phase flow. Chaos theory has recently been applied to two-phase flow analysis, and it gives promising measures to quantitatively identify two-phase flow patterns and pool boiling behaviors. But, consistency of the calculated chaotic measures were not completely confirmed yet. More experimental data are requested for chaos analysis of two-phase flow. Also, chaos analysis methodology should be developed by experimental verification.

• Annals of Occupational and Environmental Medicine
• /
• 제34권
• /
• pp.26.1-26.13
• /
• 2022

It is important to assess the blood flow of fingers in the verification of hand-arm vibration syndrome. In the Republic of Korea, most assessments of the blood flow in the fingers are performed using a cold provocation test with finger skin color change. However, this test is a non-objective method with a relatively low sensitivity, leading to possible social and legal problems. Thus, we reviewed the characteristics of several tests that assess the blood flow in the fingers. Among these tests, using the radioactive isotope method, Raynaud's scan has a relatively higher sensitivity and specificity than other tests, provides objective results, and is approachable in many hospitals. So we suggest using Raynaud's scan as an alternative test when cold provocation test with finger skin color change is negative in vibration exposed worker.

• 전자공학회지
• /
• 제30권9호
• /
• pp.1002-1011
• /
• 2003

In this paper, we introduce an integrated SoC front-end design & verification environment which can be practically used in the embedded 32-bit processor-core SoC VLSI design. Our introduced SoC design & verification environment integrates two most important flows, such as the RTL power estimation and code coverage analysis, with the functional verification (chip validation) flow which is used in the conventional simulation-based design. For this, we developed two simulation-based inhouse tools, RTL power estimator and code coverage analyzer, and used them to adopt them to our RTL design and to increase the design quality of that. Our integrated design environment also includes basic design and verification flows such as the gate-level functional verification with back annotation information and test vector capture & replay environment.

• 한국전산유체공학회지
• /
• 제21권2호
• /
• pp.25-31
• /
• 2016

In this paper, a study on the development of OpenFOAM grid generation program for two-dimensional flow analysis is described. By using the pre-processor(eMEGA) of EDISON_CFD system, grids for OpenFOAM flow calculation were obtained. Resultant two-dimensional grids were used to calculate flow fields by applying simpleFoam, one of the OpenFOAM's popular solvers, and the obtained flow results were compared with theoretical and experimental data available. Also grids generated by present program were compared with grids by a commercial pre-processor Pointwise for the purpose of verification. Verification work includes three cases(single block, O-type single block, and multi block grid), and all results show reasonable matches. According to the current achievement, it can be concluded that OpenFOAM grid can be constructed conveniently by using eMEGA with GUI.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2005년도 학술발표회(1)
• /
• pp.745-746
• /
• 2005

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2001년도 춘계 학술대회논문집
• /
• pp.176-180
• /
• 2001

For windshield defrosting, flow analysis of inner room(vehicle) and heat conduction on the windshield surface are undertaken. Simulation for defrosting enthalpy method is usedand verification of heat and fluid flow analysis for room is done in cavity flow. The defrosting process is three dimensional phenomena and phase is changing. The result of defrosting analysis are well presenting the phase change and these results offer basic design data for defrosting phenomena.