3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-25 10:05:33 +00:00
Commit graph

11 commits

Author SHA1 Message Date
Eddie Hung
e3d160a9ca parse_xaiger to cope with flops 2019-05-31 18:06:36 -07:00
Eddie Hung
9d122d3c51 Refactor into AigerReader::post_process() 2019-04-23 15:06:19 -07:00
Eddie Hung
bca3cf6843 Merge branch 'master' into xaig 2019-04-08 16:31:59 -07:00
Eddie Hung
3e89cf68bd Add author name 2019-03-19 08:52:06 -07:00
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