Old Web
English
Sign In
Acemap
>
Paper
>
Guest Editors' Introduction: Exploring Synergies for Design Verification
Guest Editors' Introduction: Exploring Synergies for Design Verification
2004
Carl Pixley
Sharad Malik
Keywords:
Computer engineering
Formal methods
Electronic engineering
Computer science
Verification
Intelligent verification
Functional verification
High-level verification
Formal verification
Software engineering
hardware design languages
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
4
Citations
NaN
KQI
[]