Title :
Guest Editors´ Introduction: Exploring Synergies for Design Verification
Author :
Pixley, C. ; Malik, S.
Author_Institution :
Synopsys
Abstract :
Presents the guest editorial for this issue of the publication.
Keywords :
Boolean functions; Costs; Data structures; Electronics industry; Emulation; Field programmable gate arrays; Formal verification; Hardware design languages; Mechanical factors; Research and development;
Journal_Title :
Design & Test of Computers, IEEE
DOI :
10.1109/MDT.2004.90
