Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/2120
Title: Testing and Verification of HDL-models for SoC components
Authors: Hahanova, Irina
Hahanov, Vladimir
Ngene, Christopher Umerah
Yves, Tiecoura
Keywords: HDL-program
Models and methods for verification
Issue Date: 2009
Publisher: EWDTS
Citation: Hahanova Irina Testing and Verification of HDL-models for SoC components /Vladimir Hahanov, Irina Hahanova, Ngene Christopher Umerah, Tiecoura Yves //Proceedings of IEEE East-West Design & Test Symposium (EWDTS’09)
Abstract: The testing and verification technology for system HDL models, focused to the significant improvement of the quality of design components for digital systems on chips and reduction the development time (time-tomarket) by using the simulation environment, testable analysis of the logical structure HDL-program and the optimal placement of assertion engine is proposed. The novel testing and verification technology for system HDL models allows searching for errors in the HDL-code with a given thoroughness for an acceptable time by means of the introduction assertion redundancy to the critical points of the software model, which are defined by the synthesized logic functions of the testability. The controllability and observability criteria, used in hardware design and test, are applied to estimate the quality of software code in order to improve it and effective diagnose semantic errors. The objective is improvement of the testing and verification technology for digital systems to diagnose and correct of errors for HDL-models by sharing of the assertion engine and testable design technologies. The research tasks: 1. Design verification and testing environment for system HDL-model on the basis of assertions. 2. Development of testability evaluation metrics on the basis of new logic testability function. 3. Application of a technological assertion model to verify an IP-core filter on the basis of discrete cosine transform. 4. Practical results and directions for further research. The research sources: 1. Technologies and tools of test and testbench creation are represented in the papers [1-3]. 2. Models and methods for verification of the system models on the basis of assertions are described in [4-7]. Testable software design uses the IEEE standards [8-10], as well as innovative solutions to verify and testability analysis for the system HDLmodels [11-18].
URI: http://openarchive.nure.ua/handle/document/2120
Appears in Collections:Кафедра автоматизації проектування обчислювальної техніки (АПОТ)

Files in This Item:
File Description SizeFormat 
Хаханова_Ирина_EWDTS_2009.pdf4.11 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Admin Tools