Prototyping of VLSI components from a formal specification.
Roderick McConnellDominique LavenierPublished in: J. VLSI Signal Process. (1996)
Keyphrases
- formal specification
- software components
- object oriented design
- specification language
- model checking
- specification languages
- reverse engineering
- code generation
- data abstraction
- formal methods
- design methodology
- process algebra
- concurrent systems
- development process
- signal processing
- model checker
- building blocks
- knowledge management
- user interface
- natural language
- case study
- web services