What's in a Timing Discipline? Considerations in the Specification and Synthesis of Systems with Interacting Asynchronous and Synchronous Components.
P. A. SubrahmanyamPublished in: Hardware Specification, Verification and Synthesis (1989)
Keyphrases
- asynchronous circuits
- building blocks
- asynchronous communication
- information systems
- expert systems
- computer systems
- learning systems
- formal methods
- highly modular
- database
- delay insensitive
- commercial off the shelf
- program synthesis
- texture synthesis
- software components
- programming language
- digital libraries
- high level
- genetic algorithm