Stepwise refinement of behavioral VHDL specifications by separation of synchronization and functionality.
Claus SchneiderWolfgang EckerPublished in: EURO-DAC (1996)
Keyphrases
- hardware implementation
- formal specification
- delay insensitive
- music score
- high level
- control flow
- finite state machines
- refinement process
- circuit design
- model based diagnosis
- integrated circuit
- human behavior
- information systems
- specification language
- multi stream
- low cost
- fully functional
- natural language
- web services