Integration of Formal Specification into the Standard ASIC Design Flow.
Werner HaasStefan GossensUlrich HeinkelPublished in: HASE (2002)
Keyphrases
- formal specification
- design methodology
- object oriented design
- specification languages
- design process
- model checking
- design methodologies
- circuit design
- physical design
- user interface
- formal methods
- single chip
- application specific
- software design
- case study
- reverse engineering
- software maintenance
- knowledge based systems
- relational databases