Login / Signup
Building a standard ESL design and verification methodology: is it just a dream?
Anoosh Hosseini
Ashish Parikh
H. T. Chin
Pascal Urard
Emil F. Girczyc
S. Bloch
Published in:
DAC (2006)
Keyphrases
</>
design methodology
case study
language learning
engineering design
genetic algorithm
artificial intelligence
knowledge based systems
conceptual framework
functional verification
data sets
formal methods
design patterns
computer aided
building blocks
learning activities
software engineering
information systems