aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap/abc9.cc
Commit message (Collapse)AuthorAgeFilesLines
...
* | Fix "a" extensionEddie Hung2019-05-261-1/+3
| |
* | Add &fraig and &mfs backEddie Hung2019-05-241-2/+1
| |
* | Merge branch 'xaig' into xc7muxEddie Hung2019-04-221-2/+6
|\|
| * Skip if abc_box_id earlierEddie Hung2019-04-171-3/+3
| |
| * Do not print slack histogramEddie Hung2019-04-171-1/+1
| |
| * Working ABC9 scriptEddie Hung2019-04-171-2/+2
| |
| * abc9 to output some more infoEddie Hung2019-04-161-1/+2
| |
| * Port from xc7mux branchEddie Hung2019-04-161-17/+55
| |
* | Merge branch 'xaig' into xc7muxEddie Hung2019-04-161-2/+1
|\|
| * abc9 to call "setundef -zero" behaving as for abcEddie Hung2019-04-161-0/+3
| |
* | ABC to read_box before reading netlistEddie Hung2019-04-161-1/+3
| |
* | Do not call abc on modules with abc_box_id attrEddie Hung2019-04-161-0/+3
| |
* | Merge branch 'xaig' into xc7muxEddie Hung2019-04-151-8/+9
|\|
| * Handle __dummy_o__ and __const[01]__ in read_aiger not abcEddie Hung2019-04-121-18/+4
| |
| * abc to ignore __dummy_o__ and __const[01]__ when re-integratingEddie Hung2019-04-121-6/+20
| |
| * Use -map instead of -symbols for aigerEddie Hung2019-04-121-2/+3
| |
| * Comment outEddie Hung2019-04-121-1/+1
| |
| * Add support for synth_xilinx -abc9 and ignore abc9 -dress optEddie Hung2019-04-121-0/+5
| |
* | Add "-lut <file>" support to abc9Eddie Hung2019-04-091-13/+31
| |
* | Add "-box" option to abc9Eddie Hung2019-04-091-7/+22
| |
* | Add 'setundef -zero' call prior to aigmap in abc9Eddie Hung2019-04-091-0/+4
| |
* | Comment outEddie Hung2019-04-091-1/+1
| |
* | Add support for synth_xilinx -abc9 and ignore abc9 -dress optEddie Hung2019-04-091-0/+5
|/
* More space fixingEddie Hung2019-04-081-2/+2
|
* abc9 -- multiple connections for inoutsEddie Hung2019-02-261-1/+2
|
* abc9 cleanupEddie Hung2019-02-251-6/+4
|
* read_aiger to accept empty string for clk_name, passable only if no latchesEddie Hung2019-02-251-2/+1
|
* abc9 not to clean after aigmapEddie Hung2019-02-251-1/+1
|
* abc9 to call "clean" once at the end of all abc9_module() callsEddie Hung2019-02-251-4/+4
|
* abc9 to use AIGER symbol table, as opposed to map fileEddie Hung2019-02-211-5/+16
|
* Revert "abc9 to write_xaiger -symbols, not -map"Eddie Hung2019-02-211-2/+3
| | | | This reverts commit 04429f8152ae64de050580ec20db60ac6dc1c0e1.
* Remove irrelevant citationsEddie Hung2019-02-211-8/+0
|
* Add attributionEddie Hung2019-02-211-0/+1
|
* abc9 to not select anything extra, and pop selection after final cleanEddie Hung2019-02-211-14/+2
|
* abc9 to write_xaiger -symbols, not -mapEddie Hung2019-02-211-3/+2
|
* abc9 to use &mfsEddie Hung2019-02-211-1/+2
|
* abc9 to only disconnect output ports of AND and NOT gatesEddie Hung2019-02-211-2/+4
|
* ABC -> ABC9Eddie Hung2019-02-201-1/+1
|
* abc9 to disconnect mapped_mods POs correctly, and do not count $_NOT_Eddie Hung2019-02-201-21/+29
|
* lut/not/and suffix to be ${lut,not,and}Eddie Hung2019-02-201-4/+4
|
* abc9 to cope with multiple modulesEddie Hung2019-02-201-7/+11
|
* abc9 to use & syntax for -fast, and name fixesEddie Hung2019-02-201-5/+5
|
* abc9 to cope with indexed wires when creating $lut from $_NOT_Eddie Hung2019-02-191-1/+6
|
* abc9 to replace $_NOT_ with $lutEddie Hung2019-02-191-4/+39
|
* Get rid of debugging stuff in abc9Eddie Hung2019-02-161-6/+1
|
* abc9 to write_aiger with -O option, and ignore dummy outputsEddie Hung2019-02-161-2/+8
|
* abc9 to handle comb loops, cope with constant outputs, disconnect using new wireEddie Hung2019-02-161-4/+67
|
* abc9 to cope with non-wideports, count cells properlyEddie Hung2019-02-161-11/+54
|
* Move lookup inside ifEddie Hung2019-02-151-2/+2
|
* RefactorEddie Hung2019-02-151-29/+32
|