Design Automation of Invertible Logic Circuit from a Standard HDL Description.

Makoto Kato Naoya Onizawa Takahiro Hanyu

Published in: FLAP (2020)

Keyphrases

design automation
circuit design
digital circuits
high level
logic circuits
modal logic
computer aided design
test generation
delay insensitive
database
knowledge base
object oriented
classical logic
logic synthesis