aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap/abc9.cc
Commit message (Collapse)AuthorAgeFilesLines
...
* | MisspellEddie Hung2019-05-281-1/+1
| |
* | If driver not found, use LUT2Eddie Hung2019-05-271-29/+27
| |
* | Disconnect all ABC boxes tooEddie Hung2019-05-271-11/+9
| |
* | Parse without wideportsEddie Hung2019-05-271-1/+1
| |
* | Remove mapped_mod when doneEddie Hung2019-05-271-0/+2
| |
* | Instantiate cell type (from sym file) otherwise 'clean' warningsEddie Hung2019-05-271-7/+5
| |
* | Add 'cinput' and 'coutput' to symbols file for boxesEddie Hung2019-05-271-7/+18
| |
* | ABC9 to call &sweepEddie Hung2019-05-261-2/+1
| |
* | TypoEddie Hung2019-05-261-1/+1
| |
* | Combine ABC_COMMAND_LUTEddie Hung2019-05-261-2/+1
| |
* | 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
|