Title :
The verification and test of complex digital ICs [Guest Editor´s Introduction]
Author :
Abadir, M.S. ; Wang, L.-C.
Author_Institution :
Motorola
Abstract :
Presents the guest editorial for this issue of the publication.
Keywords :
Architecture description languages; Computer science; Engines; Feedback; Formal specifications; Hybrid power systems; Microprocessors; Natural languages; State-space methods; Testing;
Journal_Title :
Design & Test of Computers, IEEE
DOI :
10.1109/MDT.2004.1277899
