Eddie Hung
|
8c58c728a7
|
Re-enable &dc2
|
2019-05-30 00:42:41 -07:00 |
Eddie Hung
|
2560f92f29
|
Reduce -W to 160
|
2019-05-29 23:01:46 -07:00 |
Eddie Hung
|
854557814e
|
Erase all boxes before stitching
|
2019-05-29 19:17:36 -07:00 |
Eddie Hung
|
b955344ecd
|
Call &if with -W 250
|
2019-05-29 16:34:52 -07:00 |
Eddie Hung
|
ecaa7856e9
|
Add some debug to abc9
|
2019-05-29 15:21:41 -07:00 |
Eddie Hung
|
4a76b425cc
|
Misspell
|
2019-05-28 08:44:59 -07:00 |
Eddie Hung
|
89bd6b8504
|
If driver not found, use LUT2
|
2019-05-27 23:12:21 -07:00 |
Eddie Hung
|
4df37c77fd
|
Disconnect all ABC boxes too
|
2019-05-27 19:40:27 -07:00 |
Eddie Hung
|
75bd41eaeb
|
Parse without wideports
|
2019-05-27 12:22:05 -07:00 |
Eddie Hung
|
bf3b8d5e45
|
Remove mapped_mod when done
|
2019-05-27 12:19:21 -07:00 |
Eddie Hung
|
234156c01a
|
Instantiate cell type (from sym file) otherwise 'clean' warnings
|
2019-05-27 12:16:10 -07:00 |
Eddie Hung
|
03b289a851
|
Add 'cinput' and 'coutput' to symbols file for boxes
|
2019-05-27 11:38:52 -07:00 |
Eddie Hung
|
3981eba999
|
ABC9 to call &sweep
|
2019-05-26 11:31:35 -07:00 |
Eddie Hung
|
086b6560b4
|
Typo
|
2019-05-26 03:17:20 -07:00 |
Eddie Hung
|
823153e418
|
Combine ABC_COMMAND_LUT
|
2019-05-26 02:47:06 -07:00 |
Eddie Hung
|
32a4c10c0d
|
Fix "a" extension
|
2019-05-26 02:44:36 -07:00 |
Eddie Hung
|
6ad09bfcea
|
Add &fraig and &mfs back
|
2019-05-24 15:10:18 -07:00 |
Eddie Hung
|
4cfef7897f
|
Merge branch 'xaig' into xc7mux
|
2019-04-22 11:58:59 -07:00 |
Eddie Hung
|
a20ed260e1
|
Skip if abc_box_id earlier
|
2019-04-17 16:36:03 -07:00 |
Eddie Hung
|
abcd3103ff
|
Do not print slack histogram
|
2019-04-17 15:11:14 -07:00 |
Eddie Hung
|
fd89c1056e
|
Working ABC9 script
|
2019-04-17 12:33:32 -07:00 |
Eddie Hung
|
ae2653c50f
|
abc9 to output some more info
|
2019-04-16 16:39:16 -07:00 |
Eddie Hung
|
55a3638c71
|
Port from xc7mux branch
|
2019-04-16 15:01:45 -07:00 |
Eddie Hung
|
fc5fda595d
|
Merge branch 'xaig' into xc7mux
|
2019-04-16 13:15:53 -07:00 |
Eddie Hung
|
afcb86c3d1
|
abc9 to call "setundef -zero" behaving as for abc
|
2019-04-16 13:10:13 -07:00 |
Eddie Hung
|
98c297fabf
|
ABC to read_box before reading netlist
|
2019-04-16 12:44:10 -07:00 |
Eddie Hung
|
a2b106135b
|
Do not call abc on modules with abc_box_id attr
|
2019-04-16 11:19:42 -07:00 |
Eddie Hung
|
538592067e
|
Merge branch 'xaig' into xc7mux
|
2019-04-15 22:04:20 -07:00 |
Eddie Hung
|
9bfcd80063
|
Handle __dummy_o__ and __const[01]__ in read_aiger not abc
|
2019-04-12 18:21:16 -07:00 |
Eddie Hung
|
482a60825b
|
abc to ignore __dummy_o__ and __const[01]__ when re-integrating
|
2019-04-12 18:16:50 -07:00 |
Eddie Hung
|
88d43a519b
|
Use -map instead of -symbols for aiger
|
2019-04-12 16:29:14 -07:00 |
Eddie Hung
|
941365b4bb
|
Comment out
|
2019-04-12 12:29:04 -07:00 |
Eddie Hung
|
04e466d5e4
|
Add support for synth_xilinx -abc9 and ignore abc9 -dress opt
|
2019-04-12 12:28:37 -07:00 |
Eddie Hung
|
d536379c62
|
Add "-lut <file>" support to abc9
|
2019-04-09 14:31:31 -07:00 |
Eddie Hung
|
7e304c362b
|
Add "-box" option to abc9
|
2019-04-09 10:58:06 -07:00 |
Eddie Hung
|
bd523abef5
|
Add 'setundef -zero' call prior to aigmap in abc9
|
2019-04-09 10:32:58 -07:00 |
Eddie Hung
|
3b6f85b0a6
|
Comment out
|
2019-04-09 10:09:43 -07:00 |
Eddie Hung
|
3fc474aa73
|
Add support for synth_xilinx -abc9 and ignore abc9 -dress opt
|
2019-04-09 10:06:44 -07:00 |
Eddie Hung
|
12c34136ba
|
More space fixing
|
2019-04-08 16:40:17 -07:00 |
Eddie Hung
|
7cac3b1c8b
|
abc9 -- multiple connections for inouts
|
2019-02-26 12:18:28 -08:00 |
Eddie Hung
|
967297cd57
|
abc9 cleanup
|
2019-02-25 18:40:53 -08:00 |
Eddie Hung
|
721f6a14fb
|
read_aiger to accept empty string for clk_name, passable only if no latches
|
2019-02-25 15:34:02 -08:00 |
Eddie Hung
|
0ca3fd6a1c
|
abc9 not to clean after aigmap
|
2019-02-25 15:31:52 -08:00 |
Eddie Hung
|
51f28a6747
|
abc9 to call "clean" once at the end of all abc9_module() calls
|
2019-02-25 12:55:47 -08:00 |
Eddie Hung
|
d56f02d1fc
|
abc9 to use AIGER symbol table, as opposed to map file
|
2019-02-21 17:03:40 -08:00 |
Eddie Hung
|
2811d66dea
|
Revert "abc9 to write_xaiger -symbols, not -map"
This reverts commit 04429f8152 .
|
2019-02-21 14:58:40 -08:00 |
Eddie Hung
|
7ad9628f07
|
Remove irrelevant citations
|
2019-02-21 14:41:11 -08:00 |
Eddie Hung
|
085ed9f487
|
Add attribution
|
2019-02-21 14:40:13 -08:00 |
Eddie Hung
|
875a02a6f2
|
abc9 to not select anything extra, and pop selection after final clean
|
2019-02-21 14:38:52 -08:00 |
Eddie Hung
|
04429f8152
|
abc9 to write_xaiger -symbols, not -map
|
2019-02-21 14:28:36 -08:00 |