A Low-Cost Mixed Clock Generator for High Speed Adiabatic Logic.
Zhou ZhaoAshok SrivastavaLu PengSaraju P. MohantyPublished in: ISVLSI (2016)
Keyphrases
- high speed
- low cost
- low power
- real time
- data acquisition
- single chip
- modal logic
- classical logic
- delay insensitive
- frame rate
- logic programming
- digital camera
- asynchronous circuits
- shift register
- predicate logic
- sound and complete axiomatization
- artificial intelligence
- automated reasoning
- power consumption
- website
- logical framework
- computational properties
- inference rules
- embedded systems
- temporal logic