Open choltz95 opened 4 years ago
My truth table even after reduction w/ Espresso is pretty large. Is it possible to parse the truth table described by a PLA file into a ttable object? My overall goal is to recover BDD given PLA.
My truth table even after reduction w/ Espresso is pretty large. Is it possible to parse the truth table described by a PLA file into a ttable object? My overall goal is to recover BDD given PLA.