Symmetric Circuits for Rank Logic.
Anuj DawarGregory WilsenachPublished in: ACM Trans. Comput. Log. (2022)
Keyphrases
- logic synthesis
- delay insensitive
- logic circuits
- asynchronous circuits
- digital circuits
- chip design
- multi valued
- floating gate
- random access memory
- quantum computing
- modal logic
- tunnel diode
- high speed
- automated reasoning
- truth table
- positive semidefinite matrices
- shift register
- fault models
- real time
- sound and complete axiomatization
- analog vlsi
- low power
- first order logic
- logic programming
- neural network