Synthesis of SI Circuits from Burst-Mode Specifications.
Alex ChanDanil SokolovVictor KhomenkoDavid LloydAlex YakovlevPublished in: DATE (2021)
Keyphrases
- delay insensitive
- analog circuits
- logic synthesis
- asynchronous circuits
- high speed
- high level
- program synthesis
- formal specification
- database
- database replication
- low power
- digital circuits
- si sio
- tunnel diode
- logic circuits
- reactive systems
- specification language
- bi directional
- functional requirements
- heuristic search
- low cost
- neural network