Design Automation for Charge Recovery Logic.

Yilmaz Ege Gonul Leo Filippini Junghoon Oh Ragh Kuttappa Scott Lerner Mineo Kaneko Baris Taskin

Published in: ISCAS (2024)

Keyphrases

design automation
circuit design
computer aided design
test generation
multi valued
data sets
classical logic
recovery algorithm
modal logic
logical framework
database
databases
real world
pattern recognition
proof theory