Eddie Hung
|
3ebba74461
|
Merge branch 'xaig' into xaig_dff
|
2019-06-17 13:51:53 -07:00 |
Eddie Hung
|
4d6d593fe3
|
&scorr before &sweep, remove &retime as recommended
|
2019-06-17 13:32:08 -07:00 |
Eddie Hung
|
a474fe937b
|
Merge branch 'xaig' into xaig_dff
|
2019-06-17 13:20:19 -07:00 |
Eddie Hung
|
63fc879a5f
|
Copy not move parameters/attributes
|
2019-06-17 13:19:45 -07:00 |
Eddie Hung
|
7dd3a7f161
|
Merge branch 'xaig' into xaig_dff
|
2019-06-17 12:58:41 -07:00 |
Eddie Hung
|
b45d06d7a3
|
Fix leak removing cells during ABC integration; also preserve attr
|
2019-06-17 12:54:24 -07:00 |
Eddie Hung
|
5ce672d1c5
|
Merge remote-tracking branch 'origin/xaig' into xaig_dff
|
2019-06-17 12:14:55 -07:00 |
Eddie Hung
|
7250c57c5a
|
Re-enable &dc2
|
2019-06-17 10:28:51 -07:00 |
Eddie Hung
|
fb90d8c18c
|
Cleanup
|
2019-06-16 09:34:26 -07:00 |
Eddie Hung
|
3ed95dae8d
|
Cleanup
|
2019-06-15 22:48:16 -07:00 |
Eddie Hung
|
416312b9ed
|
abc9 to recover_init by default
|
2019-06-15 22:44:45 -07:00 |
Eddie Hung
|
2309459605
|
Do not treat $__ABC_FF_ as a user cell
|
2019-06-15 19:36:55 -07:00 |
Eddie Hung
|
cdfb634977
|
Cleanup
|
2019-06-15 18:18:56 -07:00 |
Eddie Hung
|
c2f3f116d0
|
Use $__ABC_FF_ instead of $_FF_
|
2019-06-15 18:16:14 -07:00 |
Eddie Hung
|
a76c8a7ffd
|
Fix initialisation of flops
|
2019-06-15 09:46:35 -07:00 |
Eddie Hung
|
ac18a76beb
|
Map to $_FF_ instead of $_DFF_P_ to prevent recursion issues
|
2019-06-15 09:34:48 -07:00 |
Eddie Hung
|
da487c4f31
|
For now, short $_DFF_[NP]_ from ff_map.v at re-integration
|
2019-06-15 09:08:18 -07:00 |
Eddie Hung
|
2d85725604
|
Get rid of compiler warnings
|
2019-06-14 13:07:56 -07:00 |
Eddie Hung
|
a632799d5b
|
Update abc9 -D doc
|
2019-06-14 12:29:46 -07:00 |
Eddie Hung
|
e391fc8e7b
|
Enable "abc9 -D <num>" for timing-driven synthesis
|
2019-06-14 12:28:01 -07:00 |
Eddie Hung
|
a48b5bfaa5
|
Further cleanup based on @daveshah1
|
2019-06-14 12:25:06 -07:00 |
Eddie Hung
|
751e640c1d
|
Merge branch 'xaig' of github.com:YosysHQ/yosys into xaig
|
2019-06-14 10:29:16 -07:00 |
Eddie Hung
|
a5425a2f7e
|
Remove extra semicolon
|
2019-06-14 10:11:34 -07:00 |
David Shah
|
9566573054
|
ecp5: Add abc9 option
Signed-off-by: David Shah <dave@ds0.me>
|
2019-06-14 17:15:02 +01:00 |
Eddie Hung
|
2c40b66785
|
Rip out all non FPGA stuff from abc9
|
2019-06-12 16:53:12 -07:00 |
Eddie Hung
|
b3faf0246d
|
Be more precise when connecting during ABC9 re-integration
|
2019-06-12 16:04:33 -07:00 |
Eddie Hung
|
2e7e73f483
|
Remove hacky wideports_split from abc9
|
2019-06-12 15:52:49 -07:00 |
Eddie Hung
|
d9974b85e7
|
Fix compile errors when #if 1 for debug
|
2019-06-12 15:47:39 -07:00 |
Eddie Hung
|
8bb67fa67c
|
Do not call abc9 if no outputs
|
2019-06-12 10:18:44 -07:00 |
Eddie Hung
|
14e870d4c4
|
More write_xaiger cleanup
|
2019-06-12 10:00:57 -07:00 |
Eddie Hung
|
b21d29598a
|
Consistency
|
2019-06-12 09:40:51 -07:00 |
Eddie Hung
|
afd620fd5f
|
Typo: wire delay is -W argument
|
2019-06-12 09:13:53 -07:00 |
Eddie Hung
|
2dffa4685b
|
Add "-W' wire delay arg to abc9, use from synth_xilinx
|
2019-06-11 17:10:47 -07:00 |
Eddie Hung
|
5a46a0b385
|
Fine tune aigerparse
|
2019-06-07 16:57:32 -07:00 |
Eddie Hung
|
295bd8d0bf
|
Remove dupe
|
2019-06-03 12:32:20 -07:00 |
Eddie Hung
|
eb08e71bd1
|
Merge branch 'xaig' into xc7mux
|
2019-05-31 13:03:03 -07:00 |
Eddie Hung
|
a379234f56
|
Throw out unused code inherited from abc
|
2019-05-31 12:50:11 -07:00 |
Eddie Hung
|
4a6b9af227
|
Fix spelling
|
2019-05-30 15:50:47 -07:00 |
Eddie Hung
|
a44fe3a632
|
Revert "Re-enable &dc2"
This reverts commit 8c58c728a7 .
|
2019-05-30 11:41:50 -07:00 |
Eddie Hung
|
0800846e73
|
Do not double count LUT1s
|
2019-05-30 11:32:14 -07:00 |
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
|
d9c915042a
|
Move clean from aigerparse to abc9
|
2019-04-23 13:42:35 -07:00 |
Eddie Hung
|
5f30a8795d
|
Tidy up
|
2019-04-22 17:47:05 -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 |
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 |