Towards Automatic Hardware Synthesis from Formal Specification to Implementation.
Fritjof BornebuschChristoph LüthRobert WilleRolf DrechslerPublished in: ASP-DAC (2020)
Keyphrases
- formal specification
- specification language
- data abstraction
- model checking
- formal specification language
- graphics cards
- design methodology
- low cost
- object oriented design
- hardware implementation
- formal methods
- specification languages
- process algebra
- design methodologies
- vlsi implementation
- reverse engineering
- circuit design
- protocol specification
- hardware and software
- databases
- database
- key features
- knowledge acquisition