Login / Signup
SAT-based Exact Synthesis of Ternary Reversible Circuits using a Functionally Complete Gate Library.
Abhoy Kole
Kamalika Datta
Indranil Sengupta
Rolf Drechsler
Published in:
DSD (2022)
Keyphrases
</>
logic synthesis
cmos technology
analog circuits
high speed
markov chain
cellular automata
answer set programming
bounded model checking
neural network
domain specific
test cases
circuit design
constraint solver
program synthesis