• 반도체디스플레이기술학회지
• /
• 제23권1호
• /
• pp.25-35
• /
• 2024

In the present modern day, as the complexity and size of SoC(System on Chip) increase, the importance of design verification are increasing, Therefore it takes a lot of time to verify the design. There is an emerging need to manage the verification environment faster and more efficiently by reusing the existing verification environment. UVM-based verification is a standardized and highly reliable verification method widely adopted and used in the semiconductor industry. This paper presents a UVM-based verification for the 4 tap equalizer module with a systolic array structure. Through the constraints randomization, it was confirmed that various test scenarios stimulus were generated. In addition, by verifying a simulation comparing the actual DUT outputs with the MATLAB reference outputs, the reuse and efficiency of the UVM test bench could be confirmed.

• 전기전자학회논문지
• /
• 제18권3호
• /
• pp.305-312
• /
• 2014

기존의 Verilog테스트벤치로 원전용 안정등급 제어기기와 같이 복잡하고 높은 신뢰도를 요구하는 모듈의 테스트는 수작업으로만 수행된 결과를 가지고 RTL단계의 검증을 마무리하기에는 현실적으로 많은 시간과 노력이 필요하다. UVM은 기존의 테스트벤치의 한계점을 보완하는 계층적 테스트벤치의 구조를 갖고 있어 DUT의 검증을 위한 테스트개선에 대해 테스트벤치의 수정을 간편하게 할 수 있다. 비록 구축과정이 다소 복잡하긴 하지만 테스트 벤치의 컴포넌트들인 driver나 sequence 등을 사용함으로 constraint random test를 가능하게 하여 test vector 작성을 편리하게 한다. 본 논문에서는 기존의 테스트벤치와 계층적 테스트벤치인 UVM테스트벤치를 사용하여 실제 시뮬레이션 하고 커버리지를 분석하여 코드커버리지를 간편하게 향상 할 수 있음을 보였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2009년도 학술발표회 초록집
• /
• pp.405-409
• /
• 2009

현재 하천의 유량측정을 위해 국내외에서 설치, 운영되고 있는 자동유량측정시설은 대부분 초음파유속계를 이용한 실시간 하천유량측정시스템이다. 이러한 초음파유속계는 도플러 방식 초음파유속계(ADVM)와 이동 시간차 방식 초음파유속계(UVM)로 구분되는데, 한강대교 등에 적용된 ADVM 방식에 비해 UVM 방식은 초음파 도달거리의 특성으로 인해 대부분 중소규모의 하천에 적용되어왔다. 이러한 UVM 방식을 하폭이 넓고 홍수시 수위변화가 심한 대규모하천에 적용하기 위해서는 여러 회선을 다층으로 구성하여 설치할 필요가 있는데, 한강의 여주지점은 16개의 회선을 5개의 층으로 구성하여 측정의 정확도를 높이고 홍수시 수위상승시에도 다양한 회선으로 유속을 측정할 수 있도록 하였다. 본 연구에서는 여주지점에 설치되어 운영 중에 있는 이동 시간차 방식 자동유량측정시설의 운영결과를 검토하고 측정치에 대한 검증을 위해 2008년 1월부터 12월까지의 유량측정결과를 검토하였다. 평 저수시는 유속계와 ADCP 이동보트를 이용한 연속측정결과와 비교하였으며 홍수시에는 봉부자 측정결과와 비교하였다. 기존 실측은 2008년 2월부터 12월까지 저수위 및 중 고수위에 걸쳐 실시하였으며, 프라이스유속계 22회, 이동식 ADCP 6회 그리고 부자를 이용한 방법 6회등, 총 34회가 이루어졌으며, 비교 결과 수위 1.5m 이하의 저 평수기에 평균 5.5%의 오차를 보였으며, 홍수시 검증측정유량과의 비교결과 7.6%의 오차를 보였다.

• Nuclear Engineering and Technology
• /
• 제46권3호
• /
• pp.381-386
• /
• 2014

A highly reliable safety class controller for NPPs (Nuclear Power Plants) is mandatory as even a minor malfunction can lead to disastrous consequences for people, the environment or the facility. In order to enhance the reliability of a safety class digital controller for NPPs, we employed a diversity approach, in which a PLC-type controller and a PLD-type controller are to be operated in parallel. We built and used structured testbenches based on the classes supported by UVM for functional verification of the PLD-type controller designed for NPPs. We incorporated a UVM register model into the testbenches in order to increase the controllability and the observability of the DUT(Device Under Test). With the increased testability, we could easily verify the datapaths between I/O ports and the register sets of the DUT, otherwise we had to perform black box tests for the datapaths, which is very cumbersome and time consuming. We were also able to perform constrained random verification very easily and systematically. From the study, we confirmed the various advantages of using the UVM register model in verification such as scalability, reusability and interoperability, and set some design guidelines for verification of the NPP controllers.

• Journal of Periodontal and Implant Science
• /
• 제51권1호
• /
• pp.40-52
• /
• 2021

Purpose: Various crosslinking methods have been introduced to increase the longevity of collagen membranes. The aim of this study was to compare and evaluate the degradation and bone regeneration patterns of 3 collagen membranes. Methods: Four 8-mm-diameter circular bone defects were created in the calvaria of 10 rabbits. In each rabbit, each defect was randomly allocated to 1) the sham control group, 2) the non-crosslinked collagen sponge (NS) group, 3) the chemically crosslinked collagen membrane (CCM) group, or 4) the biphasic calcium phosphate (BCP)-supplemented ultraviolet (UV)-crosslinked collagen membrane (UVM) group. Each defect was covered with the allocated membrane without any graft material. Rabbits were sacrificed at either 2 or 8 weeks post-surgery, and radiographic and histologic analyses were done. Results: New bone formed underneath the membrane in defects in the CCM and UVM groups, with a distinctive new bone formation pattern, while new bone formed from the base of the defect in the NS and control groups. The CCM maintained its shape until 8 weeks, while the UVM and NS were fully degraded at 8 weeks; simultaneously, sustained inflammatory infiltration was found in the margin of the CCM, while it was absent in the UVM. In conclusion, the CCM showed longer longevity than the UVM, but was accompanied by higher levels of inflammation. Conclusions: Both the CCM and UVM showed distinctive patterns of enhancement in new bone formation in the early phase. UV crosslinking can be a biocompatible alternative to chemical crosslinking.

• Communications for Statistical Applications and Methods
• /
• 제10권3호
• /
• pp.1069-1086
• /
• 2003

This article presents the asymptotic theory of triple sampling procedure as pertain to estimating the shape parameter of Pareto distribution. Both point and confidence interval estimation are considered within the same inference unified framework. We show that this group sampling technique possesses the efficiency of Anscome (1953), Chow and Robbins (1965) purely sequential procedure as well as reduce the number of sampling operations by utilizing Stein (1945) two stages procedure. The analysis reveals that the technique performs excellent as far as the accuracy is concerned. The present problem differs from those considered by many authors, in multistage sampling, in that the final stage sample size and the parameter's estimate become highly correlated and therefore we adopted different approach.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2010년도 학술발표회
• /
• pp.472-477
• /
• 2010

자동유량측정시설은 연속적인 유량자료를 측정하기 위해 운영되는 실시간-무인화 유량측정 시스템이다. 현재 국내 외에서 유량측정을 위해 설치 및 운영되고 있는 자동유량측정시설은 대부분 초음파유속계를 이용하고 있는는데, 초음파유속계는 유속을 측정하는 방식에 따라 크게 도플러방식 초음파유속계(ADVM, Acoustic Doppler Velocity Meter)와 이동시간차방식 초음파유속계(UVM, Ultrasonic Velocity Meter)로 분류된다. 본 연구에서는 각 방식별로 유량산정방법을 개선하기 위해 설치 운영 중인 자동유량측정시설 중 고령교 지점의 ADVM 방식과 여주, 적성 지점의 UVM 방식을 대상으로 측정성과에 대한 문제점을 분석하고 통계적인 방법을 통해 오측유속을 제거하거나 방식별 또는 지점별 특성을 고려하여 적절한 유량산정방법을 적용하였다. 그 결과 3개 지점에 대한 검증유량과의 평균 상대오차율은 모두 10% 이내로 나타났다.

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

• 한국균학회지
• /
• 제22권3호
• /
• pp.247-253
• /
• 1994

본 연구는 고등균류중 담자균류에 속하는 치마버섯에 있어 자실체 형성을 직접적으로 조절하는 mating locus의 분리 및 특성을 규명하고자 하였다. 북미 자생의 치마버섯 UVM 1-34 균주로부터 $A{\alpha}3$ allele 분리를 위하여 만든 genomic library의 전체 숫자는 약 $2{\times}10^4$ cells로서 이중 약 90%가 약 35kb의 inserted DNA를 가진 것으로 나타났으며, colony 및 southern hybridization을 통해 얻은 6개의 clone 모두가 mating activity를 나타내었다. 이 중에서 1개 clone을 선정하여 남미자생의 UVM 1-71 $A{\alpha}3$ allele의 Z, Y region을 포함하는 5.7kb의 단편을 pBluescript ll KS(+)에 subcloning 시켜 trp1 gene 함유의 pTC20 cosmid와 함께 cotransformation 시킨 결과 약 50%의 clamp cell 형성을 보임으로서 이 clone이 mating activity를 가지는 것으로 나타났다.

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