Linear circuits, two-variable logic and weakly blocked monoids.
Christoph BehleAndreas KrebsMark MercerPublished in: Theor. Comput. Sci. (2013)
Keyphrases
- shift register
- delay insensitive
- logic synthesis
- asynchronous circuits
- logic circuits
- digital circuits
- high speed
- linear functions
- chip design
- automated reasoning
- logic programming
- computational properties
- floating gate
- continuous variables
- real time
- modal logic
- classical logic
- power consumption
- random access memory
- analog vlsi
- artificial intelligence