• Journal of the Semiconductor & Display Technology
• /
• v.23 no.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.

• Journal of IKEEE
• /
• v.18 no.3
• /
• pp.305-312
• /
• 2014

IIt takes a lot of time and needs the workloads to verify the RTL code used in complex system like a nuclear control system which is required high level reliability using simple testbench. UVM has a layered testbench architecture and it is easy to modify the testbench to improve the code coverage. A test vector can be easily constructed in the UVM, since a constrained random test vector can be used even though the construction of testbench using UVM. We showed that the UVM testbench is easier than the verilog testbench for the analysis and improvement of code coverage.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• 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
• /
• v.46 no.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
• /
• v.51 no.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
• /
• v.10 no.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.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2010.05a
• /
• pp.472-477
• /
• 2010

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

• The Magazine of the IEIE
• /
• v.30 no.9
• /
• pp.976-991
• /
• 2003

• The Korean Journal of Mycology
• /
• v.22 no.3
• /
• pp.247-253
• /
• 1994

This study was carried out to isolate and characterize $A{\alpha}$ mating locus controlling fruiting body formation directly in the Basidiomycete Schzophyllum commune growing in the North America. Total numbers of genomic library of S. commune UVM1-34 was about $2{\times}10^4$ cells. About 90% library was appeared to have about 35 kb inserted genome DNA in cosmid pTC20 vector. 6 clones were proved to have positive signal to probes within Z and Y region in colony and southern hybridization. In the mating activity test, all the 6 positive clones were appeared to have $A{\alpha}3$ mating activity although they had two different restriction patterns. pSC13 containing 5.7 Kb PstI-fragment of UVM 1-34 $A{\alpha}3$ allele showed about 50% clamp cell formation indicating mating activity when cotransformation was done together with cosmid pTC20.

• The Magazine of the IEIE
• /
• v.30 no.9
• /
• pp.70-70
• /
• 2003