Title :
Methods of HDL - models diagnosis
Author :
Syrevitch, Yevgeniya ; Kucherenko, Dariya ; Karasyov, Andrey ; Cheglikov, Denis
Author_Institution :
DA dep., KhNURE, Kharkov
Abstract :
In the given work application of structural methods of defects search for checking design errors has been investigated during verification of digital devices. The structural algorithm of searching design errors is developed. The diagnostic experiment with an HDL-model of a digital device, submitted by a graph model is carried out.
Keywords :
hardware description languages; logic design; HDL-model; digital device verification; graph model; hardware description language; structural algorithm; Algorithm design and analysis; Arithmetic; Character generation; Design methodology; Electronic mail; Error correction; Hardware design languages; Logic; Software systems; Testing; HDL; Verification; design errors; graph model;
Conference_Titel :
Perspective Technologies and Methods in MEMS Design, 2009. MEMSTECH 2009. 2009 5th International Conference on
Conference_Location :
Zakarpattya
Print_ISBN :
978-966-2191-06-6
