• Journal of the Institute of Convergence Signal Processing
• /
• v.11 no.2
• /
• pp.177-182
• /
• 2010

The flow of a universal system-level design methodology consists of system specification, system-level hardware/software partitioning, co-design, co-verification using virtual or physical prototype, and system integration. In the developing process of a hardware component in system, the design phase has been regarded as a phase consuming lots of time and cost. However, the verification phase in which functionality of the designed component is verified has recently been considered as a much important phase. In this paper, the implementation of a verification environment which is based on SystemC infrastructure and verifies the functionality of a hardware component is described. The proposed verification system uses SystemC user-defined channel as communication interface between variables of SystemC module and registers of Verilog module. The functional verification of an UART is performed on the proposed verification system. SystemC provides class library for hardware modeling and has an advantage of being able to design a system consisting hardware and software in higher abstraction level than register transfer level. Source codes of SystemC modules are reusable with a minor adaptation on verifying functionality of another hardware component.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.47 no.2
• /
• pp.106-114
• /
• 2010

We proposed an unified design methodology and verification platform for giga-scale System on Chip (SoC). According to the growth of VLSI integration, the existing RTL design methodology has a limitation of a production gap because a design complexity increases. A verification methodology need an evolution to overcome a verification gap. The proposed platform includes a high level synthesis, and we develop a power-aware verification platform for low power design and verification automation using it's results. We developed a verification automation and power-aware verification methodology based on control and data flow graph (CDFG) and an abstract level language and RTL. The verification platform includes self-checking and the coverage driven verification methodology. Especially, the number of the random vector decreases minimum 5.75 times with the constrained random vector algorithm which is developed for the power-aware verification. This platform can verify a low power design with a general logic simulator using a power and power cell modeling method. This unified design and verification platform allow automatically to verify, design and synthesis the giga-scale design from the system level to RTL level in the whole design flow.

• YAKHAK HOEJI
• /
• v.57 no.5
• /
• pp.362-368
• /
• 2013

High performance liquid chromatograph (HPLC) is the most frequently used analytical instrument in analytical laboratories for pharmaceutical analysis. In order to provide a high level of assurance for reliable data generated from the HPLC analysis, the performance qualification of the HPLC system is required. For this purpose, the performance of HPLC system should be regularly monitored by examining the key functions of the typical HPLC system (solvent delivery system, injector system, column oven, UV-VIS detector system). We have investigated the validation guidelines of the performance verification of these key modules for HPLC system. And we proposed and evaluated its validation guidelines and the related verification methods for pharmaceutical analysis that could be practically applied in Korea.

• Journal of Positioning, Navigation, and Timing
• /
• v.10 no.3
• /
• pp.221-228
• /
• 2021

The Korea Augmentation Satellite System (KASS) is a Korean Satellite Based Augmentation System (SBAS) that has been under development since 2014 with the goal of providing Approach Procedure with Vertical guidance (APV)-I Safety of Life (SoL) services. KASS Control Station (KCS) is a subsystem that controls and monitors KASS systems. It also serves to store data generated by KASS. KCS has now completed detailed design and implementation and verification is in progress. This paper presents verification procedures and verification items for KCS verification activities and presents management measures for defects occurring during the verification phase.

• Smart Media Journal
• /
• v.1 no.1
• /
• pp.48-52
• /
• 2012

A reliable test of offshore plant hold a key post in offshore engineering technology. The offshore self-supporting of process module design and basic design technology needs engineering verification based on the reliable test. And also reliable verification test data is very important. Therefore, verification test system for offshore installation simulation is necessary. This paper explains design of data acquisition system and control system based on the parameter of measured and controlled variable which is for establishing offshore installation simulation system.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.45 no.5
• /
• pp.162-172
• /
• 2008

In this paper, we propose a multimodal speaker verification method using teeth image and voice as biometric trait for personal verification in mobile terminal equipment. The proposed method obtains the biometric traits using image and sound input devices of smart-phone that is one of mobile terminal equipments, and performs verification with biometric traits. In addition, the proposed method consists the multimodal-fashion of combining two biometric authentication scores for totally performance enhancement, the fusion method is accompanied a weighted-summation method which has comparative simple structure and superior performance for considering limited resources of system. The performance evaluation of proposed multimodal speaker authentication system conducts using a database acquired in smart-phone for 40 subjects. The experimental result shows 8.59% of EER in case of teeth verification 11.73% in case of voice verification and the multimodal speaker authentication result presented the 4.05% of EER. In the experimental result, we obtain the enhanced performance more than each using teeth and voice by using the simple weight-summation method in the multimodal speaker verification system.

• The Journal of the Acoustical Society of Korea
• /
• v.22 no.4E
• /
• pp.176-182
• /
• 2003

As the needs for wireless Internet service is increasing, the needs for secure m-commerce is also increasing. Conventional security techniques are reinforced by biometric security technique. This paper utilized the voice as biometric security techniques. We developed speaker verification system for m-commerce (mobile commerce) via wireless internet and wireless application protocol (WAP). We named this system the mVprotek. We implemented the system as client-server architecture. The clients are mobile phone simulator and personal digital assistant (PDA). The verification results are obtained by integrating the mVprotek system with SK Telecom's code dimension multiple access (CDMA) system. Utilizing f-ratio weighting and virtual cohort model normalization showed much better performance than conventional background model normalization technique.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.571-573
• /
• 2004

Speaker verification systems based on multilayer perceptrons (MLPs) have good prospects in reliability and flexibility required as a successful authentication system. However, the poor learning speed of the error backpropagation (EBP) which is representative learning method of MLPs is the major defect to be complemented to achieve real-time user enrollments. In this paper, we implement an MLP-based speaker verification system and apply the existing two methods of the omitting patterns in instant learning (OIL) and the discriminative cohort speakers (DCS) to approach real-time enrollment. An evaluation of the system on a Korean speech database demonstrates the feasibility of the system as a speaker verification system of high performance.

• Journal of Advanced Navigation Technology
• /
• v.27 no.6
• /
• pp.782-787
• /
• 2023

Korea augmentation satellite system (KASS) integration, verification, qualification (IVQ) activity is verification of requirements for KASS system and its sub-system that were performed based on the inspection, analysis, review of design, test (IART) method from factory acceptance test (FAT) to test readiness review (TRR) after critical design review (CDR) was closed. In the FAT phase, developed equipment was installed on the test platform and we were verified interfaces between sub-systems and coupling test with the kass control station (KCS). In the site aceeptance test (SAT) phase, on-site verification was conducted by installing equipment verified by FAT such as kass reference station (KRS), kass processing station (KPS), kass uplink station (KUS), KCS. However, considering the developed plan and status, SAT was divided into 3 phases and coupling test was performed. In the TRR phase, the KASS system verification was performed through FAT's test list and additional test list using the satellite based augmentation system (SBAS) broadcast signal from geostationary earth orbit (GEO) 1.

• Proceedings of the IEEK Conference
• /
• 2002.06d
• /
• pp.409-412
• /
• 2002

There is a growing interest in speaker verification, which verifies someone by his/her voices. This paper explains the traditional text-dependent speaker verification algorithms, DTW and HMM. This paper also introduces SVM and how this can be applied to speaker verification system. Experiments were conducted with Korean database using these algorithms. The results of experiments indicated SVM is superior to other algorithms. The EER of SVM is only 0.5% while that of HMM is 5.4%.