Eddie Hung
|
13bf036bd6
|
Use ConstEval to compute LUT masks
|
2019-02-13 17:00:00 -08:00 |
|
Eddie Hung
|
e9df9a466a
|
Add support for read_aiger -wideports
|
2019-02-12 12:58:10 -08:00 |
|
Eddie Hung
|
06ba81d41f
|
Add support for read_aiger -map
|
2019-02-12 12:16:37 -08:00 |
|
Eddie Hung
|
0124512f28
|
Add read_xaiger
|
2019-02-11 15:19:17 -08:00 |
|
Eddie Hung
|
fb8ad440a3
|
Allow module name to be determined by argument too
|
2019-02-08 12:40:43 -08:00 |
|
Eddie Hung
|
f1befe1b44
|
Refactor into AigerReader class
|
2019-02-08 12:04:26 -08:00 |
|
Eddie Hung
|
cc0b723484
|
WIP
|
2019-02-06 12:19:48 -08:00 |
|