4 ms·
> Although I could use an off-the-shelf logic minimizer here (like Espresso), most logic minimizers solve a different problem: quickly translating large designs
by AshamedCaptain 7y ago
> Although I could use an off-the-shelf logic minimizer here (like Espresso), most logic minimizers solve a different problem: quickly translating large designs to simple netlists. However, I would like to have a complex output netlist: the ATF15xx CPLDs have a hardware XOR gate that I would like the minimizer to infer on its own. On the other hand, I don’t really care about the runtime of the minimizer as long as it’s on the order of minutes to hours
This is called technology mapping and logic minimizers (like Espresso) do it all the time.
Just think of it: who defines what the basic logic modules on your netlist _are_ ? What if your only module is a XOR gate?
- weinzierl 7y agoI don't think Espresso can do this. The Espresso Wikipedia talk page has this: "Espresso is a pure two-layer sum-of-products or product-of-sums minimizer without xor or factoring capabilities." There is also a paper by E. V. Dubrova et al. about finding optimal AND-OR-XOR expressions which has extensive comparisons with Espresso.