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
|
afcb86c3d1
|
abc9 to call "setundef -zero" behaving as for abc
|
2019-04-16 13:10:13 -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
|
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 |
Eddie Hung
|
7f8f36273a
|
abc9 to use &mfs
|
2019-02-21 13:16:24 -08:00 |
Eddie Hung
|
6b96df41bc
|
abc9 to only disconnect output ports of AND and NOT gates
|
2019-02-21 11:15:47 -08:00 |
Eddie Hung
|
7f26043caf
|
ABC -> ABC9
|
2019-02-20 17:36:57 -08:00 |
Eddie Hung
|
e5b8bb9faa
|
abc9 to disconnect mapped_mods POs correctly, and do not count $_NOT_
|
2019-02-20 17:33:35 -08:00 |
Eddie Hung
|
32853b1f8d
|
lut/not/and suffix to be ${lut,not,and}
|
2019-02-20 16:30:30 -08:00 |
Eddie Hung
|
2ca83005fb
|
abc9 to cope with multiple modules
|
2019-02-20 12:56:15 -08:00 |
Eddie Hung
|
d6b317b349
|
abc9 to use & syntax for -fast, and name fixes
|
2019-02-20 12:40:17 -08:00 |
Eddie Hung
|
62e5ff9ba8
|
abc9 to cope with indexed wires when creating $lut from $_NOT_
|
2019-02-19 16:06:03 -08:00 |
Eddie Hung
|
8158bc3f99
|
abc9 to replace $_NOT_ with $lut
|
2019-02-19 12:30:20 -08:00 |
Eddie Hung
|
45d49d5d14
|
Get rid of debugging stuff in abc9
|
2019-02-16 22:25:22 -08:00 |
Eddie Hung
|
f853b2f3c1
|
abc9 to write_aiger with -O option, and ignore dummy outputs
|
2019-02-16 20:09:40 -08:00 |
Eddie Hung
|
d8c4d4e6c7
|
abc9 to handle comb loops, cope with constant outputs, disconnect using new wire
|
2019-02-16 13:47:38 -08:00 |
Eddie Hung
|
d4545d415b
|
abc9 to cope with non-wideports, count cells properly
|
2019-02-16 08:53:06 -08:00 |
Eddie Hung
|
f8d0134598
|
Move lookup inside if
|
2019-02-15 15:23:26 -08:00 |
Eddie Hung
|
a786ac4d53
|
Refactor
|
2019-02-15 13:00:13 -08:00 |
Eddie Hung
|
914546efd9
|
Cope with width != 1 when re-mapping cells
|
2019-02-15 12:55:52 -08:00 |
Eddie Hung
|
956ee545c5
|
abc9 to stitch results with CI/CO properly
|
2019-02-15 11:52:34 -08:00 |
Eddie Hung
|
206f11dca3
|
Fix stitching
|
2019-02-13 17:04:23 -08:00 |
Eddie Hung
|
87f059adf7
|
Rip out some more stuff
|
2019-02-13 10:44:52 -08:00 |
Eddie Hung
|
045f7763ae
|
Rip out unused functions in abc9
|
2019-02-12 16:25:22 -08:00 |
Eddie Hung
|
b3341b4abb
|
WIP for ABC with aiger
|
2019-02-12 09:31:22 -08:00 |
Eddie Hung
|
5a0a5aae4f
|
Compile abc9
|
2019-02-08 13:58:47 -08:00 |
Eddie Hung
|
e25a22015f
|
Copy abc.cc to abc9.cc
|
2019-02-08 13:23:54 -08:00 |