Verification of Systems-on-Chip Designs.

Rahul Razdan Apurva Kalia Manu Lauria

Published in: VLSI Design (1999)

Keyphrases

formal methods
artificial intelligence
expert systems
management system
software engineering
high speed
building blocks
distributed systems
model checking
automated verification
neural network
low cost