Seeking papers on netlist-to-HDL / netlist-to-semantics analysis. Anybody doing work in the field / know of good publications?
-
-
-
Replying to @elaforest @oe1cxw
Pretty much undoing synthesis, so related...
1 reply 0 retweets 1 like -
Clifford wrote a bitstream-to-verlilog tool for the ice40.
1 reply 0 retweets 1 like -
There's a big difference between "a bunch of Verilog LUT primitives" and "full behavioral HDL w/ hierarchy etc"
2 replies 0 retweets 1 like -
Not sure that's possible: no indication of when signals cross a module boundary, unlike function calls.
3 replies 0 retweets 1 like -
I expected hierarchy would be somewhat manually guided based on a human's assessment.
1 reply 0 retweets 1 like -
-
a few years ago I made some experiments in that direction based on 6502 transistor-level netlists
1 reply 0 retweets 0 likes
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.