A logic difference generator with spare cells consideration for ECO synthesis.

Jui-Hung Hung Yu-Cheng Lin Wei-Kai Cheng Tsai-Ming Hsieh

Published in: ISQED (2015)

Keyphrases

logic synthesis
logic programming
functional programs
program synthesis
neural network
modal logic
automated reasoning
multi valued
classical logic
deontic logic
digital circuits
stem cell
database
asynchronous circuits
defeasible logic
texture synthesis
logic programs
knowledge representation
databases
real time