Partially universal modules for high performance logic circuit design.

Ke Chen Fabrizio Lombardi Jie Han

Published in: MWSCAS (2017)

Keyphrases

circuit design
digital circuits
multi valued
design automation
logic programming
classical logic
building blocks
modal logic
computational properties
sound and complete axiomatization
real time
scientific computing
logical framework
cost effective
low cost
object oriented
knowledge representation