ASIC Verification: Second Generation Systems and Solutions.

Published in: ITC (1986)

Keyphrases

complex systems
database
artificial intelligence
computer systems
benchmark problems
automated verification
data mining
website
search algorithm
distributed systems
formal methods