Introduction: Special Issue on Microprocessor Verifications.

Warren A. Hunt Jr.

Published in: Formal Methods Syst. Des. (2002)

Keyphrases

special issue
international journal
ecml pkdd
ai edam
applied intelligence
special section
special purpose hardware
functional verification
high speed
design methodology
artificial intelligence
computer science
input output
circuit design