Just-in-Time Verification in ADL-based processor design.

Dominik Auras Andreas Minwegen Uwe Deidersen

Published in: ICSAMOS (2012)

Keyphrases

functional verification
single chip
design process
artificial intelligence
evolutionary algorithm
low cost
parallel processing
engineering design
design decisions