An assertion-based verification methodology for system-level design.
Amir Masoud GharehbaghiBenyamin Hamdin YaranShaahin HessabiMaziar GoudarziPublished in: Comput. Electr. Eng. (2007)
Keyphrases
- design methodology
- neural network
- artificial intelligence
- soft systems
- formal verification
- conceptual framework
- higher level
- expert systems
- search algorithm
- case study
- low cost
- relational databases
- human computer interaction
- design process
- engineering design
- design decisions
- knowledge level
- formal methods
- methodological framework
- website