diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-29 08:26:48 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-29 08:26:48 -0700 |
| commit | a8faa2b55ced8321944ad9ed3c9e5204a4ab4d9c (patch) | |
| tree | fd732c2c1212d6cce0c49f1fc5886a74ef01173a /src/aig/miniaig | |
| parent | 75ed8581dd9b22312c9ed0fd2d24d963ab4ff4ed (diff) | |
| download | abc-a8faa2b55ced8321944ad9ed3c9e5204a4ab4d9c.tar.gz abc-a8faa2b55ced8321944ad9ed3c9e5204a4ab4d9c.tar.bz2 abc-a8faa2b55ced8321944ad9ed3c9e5204a4ab4d9c.zip | |
Adding switch to 'write_pla' to write random onset minterms of the first PO function (bug fix).
Diffstat (limited to 'src/aig/miniaig')
0 files changed, 0 insertions, 0 deletions