The Expanding Use of Formal Techniques in Electronic Design.

Published in: ISQED (2001)

Keyphrases

computer vision
design automation
case study
neural network
genetic algorithm
data structure
evolutionary algorithm
formal model
design methodology
decision making
software architecture
computer aided
user experience
design patterns
design decisions
control unit