Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA).

Werner Haas Stefan Gossens Ulrich Heinkel

Published in: MBMV (2002)

Keyphrases

formal verification
design process
software design
formal methods
high level
neural network
artificial intelligence
database systems
knowledge based systems
design patterns
design principles
engineering design
design methodology
physical design
functional verification