Seeking papers on netlist-to-HDL / netlist-to-semantics analysis. Anybody doing work in the field / know of good publications?
-
canonicalize LUT truth tables under pin rearrangement?
doesn't help with topologically different mappings of functions to more than one LUT
-
-
the only known canonical representation afaik is BDDs, but it's worst case exponential in space
-
and even BDDs don't help much for sub-circuit extraction
End of conversation
New conversation -
-
-
yes; just thinking about multiply instanced datapath modules -- so many identical LUT eqns
-
There are some fixed truth tables you can recognize automatically (adders, muxes, etc)
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.