Post-LUT-Mapping Implementation of General Logic on Carry Chains Via a MIG-Based Circuit Representation.

Jin Hee Kim Jason Helge Anderson

Published in: FPL (2021)

Keyphrases

multi valued
micron cmos
special case
digital circuits
representation language
circuit design
closely related
efficient implementation
logic synthesis
search algorithm
high speed
logic programming
automated reasoning
bayesian networks
delay insensitive
functional decomposition
horn logic
neural network