High-level design verification using Taylor Expansion Diagrams: first results.

Priyank Kalla Maciej J. Ciesielski Emmanuel Boutillon Eric Martin

Published in: HLDVT (2002)

Keyphrases

high level
low level
case study
design process
neural network
programming language
functional verification
design space
computer aided
data model
building blocks
user interface
multi agent systems
low level features
engineering design
image processing
formal verification
genetic algorithm