DocumentCode
2831224
Title
Verification and diagnosis of SoC HDL-code
Author
Hahanov, Vladimir ; Park, Dong Won ; Guz, Olesya ; Priymak, Aleksey
Author_Institution
Comput. Eng. Fac., Kharkov Nat. Univ. of Radioelectron., Kharkov, Ukraine
fYear
2011
fDate
9-12 Sept. 2011
Firstpage
72
Lastpage
83
Abstract
Xor-metrix for object relations in a vector logic space and a structural testing model are proposed. Assertion-based models and methods for the verification and diagnosis of HDL-code functional failures, which make possible to reduce considerably time-to-market of software and hardware, are developed. An architectural model of multimatrix reduced logical instruction set processor for embedded diagnosing is offered.
Keywords
fault tolerant computing; hardware description languages; instruction sets; system-on-chip; HDL-code functional failure diagnosis; SoC HDL-code verification; XOR-metrix; architectural model; assertion-based models; embedded diagnosis; multimatrix reduced logical instruction set processor; structural testing model; time-to-market; vector logic space; Analytical models; Engines; Mathematical model; Monitoring; Software; Testing; Vectors;
fLanguage
English
Publisher
ieee
Conference_Titel
Design & Test Symposium (EWDTS), 2011 9th East-West
Conference_Location
Sevastopol
Print_ISBN
978-1-4577-1957-8
Type
conf
DOI
10.1109/EWDTS.2011.6116418
Filename
6116418
Link To Document