Linear Circuits, Two-Variable Logic and Weakly Blocked Monoids.
Christoph BehleAndreas KrebsMark MercerPublished in: MFCS (2007)
Keyphrases
- shift register
- delay insensitive
- logic synthesis
- digital circuits
- asynchronous circuits
- high speed
- classical logic
- logic circuits
- random number generator
- multi valued
- data sets
- automated reasoning
- transfer function
- chip design
- continuous variables
- model based diagnosis
- linear model
- hardware implementation
- neural network