Formal specification for design automation.
Mihaly LenartPeter PadawitzAna PasztorPublished in: Formal Design Methods for CAD (1994)
Keyphrases
- formal specification
- design automation
- model checking
- reverse engineering
- specification language
- specification languages
- object oriented design
- computer aided design
- circuit design
- test generation
- process algebra
- software components
- formal methods
- data abstraction
- concurrent systems
- information systems
- building blocks
- case study