I wrote it in 2013, so I don't have a very fresh memory from writing it, but the basic idea is this: 1/ (oh I wish I already had 280 :)
-
But "freduce" can operate on a more coarse grain circuit representation (with adds and shifts and other word-wide operations).
This is thanks to the SatGen class in Yosys that essentially implement an SMT solver in Yosys.
-
-
(When I wrote that, btw, I simply did not know that SMT solvers existed. Otherwise I wouldn't have re-invented the wheel. :)
-
So it can operate on a circuit on a coarse grain description, but it only performs bit-level optimizations: rewiring and maybe add inverters
- 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.