index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
passes
/
techmap
/
abc9.cc
Commit message (
Collapse
)
Author
Age
Files
Lines
...
*
|
Fix "a" extension
Eddie Hung
2019-05-26
1
-1
/
+3
|
|
*
|
Add &fraig and &mfs back
Eddie Hung
2019-05-24
1
-2
/
+1
|
|
*
|
Merge branch 'xaig' into xc7mux
Eddie Hung
2019-04-22
1
-2
/
+6
|
\
|
|
*
Skip if abc_box_id earlier
Eddie Hung
2019-04-17
1
-3
/
+3
|
|
|
*
Do not print slack histogram
Eddie Hung
2019-04-17
1
-1
/
+1
|
|
|
*
Working ABC9 script
Eddie Hung
2019-04-17
1
-2
/
+2
|
|
|
*
abc9 to output some more info
Eddie Hung
2019-04-16
1
-1
/
+2
|
|
|
*
Port from xc7mux branch
Eddie Hung
2019-04-16
1
-17
/
+55
|
|
*
|
Merge branch 'xaig' into xc7mux
Eddie Hung
2019-04-16
1
-2
/
+1
|
\
|
|
*
abc9 to call "setundef -zero" behaving as for abc
Eddie Hung
2019-04-16
1
-0
/
+3
|
|
*
|
ABC to read_box before reading netlist
Eddie Hung
2019-04-16
1
-1
/
+3
|
|
*
|
Do not call abc on modules with abc_box_id attr
Eddie Hung
2019-04-16
1
-0
/
+3
|
|
*
|
Merge branch 'xaig' into xc7mux
Eddie Hung
2019-04-15
1
-8
/
+9
|
\
|
|
*
Handle __dummy_o__ and __const[01]__ in read_aiger not abc
Eddie Hung
2019-04-12
1
-18
/
+4
|
|
|
*
abc to ignore __dummy_o__ and __const[01]__ when re-integrating
Eddie Hung
2019-04-12
1
-6
/
+20
|
|
|
*
Use -map instead of -symbols for aiger
Eddie Hung
2019-04-12
1
-2
/
+3
|
|
|
*
Comment out
Eddie Hung
2019-04-12
1
-1
/
+1
|
|
|
*
Add support for synth_xilinx -abc9 and ignore abc9 -dress opt
Eddie Hung
2019-04-12
1
-0
/
+5
|
|
*
|
Add "-lut <file>" support to abc9
Eddie Hung
2019-04-09
1
-13
/
+31
|
|
*
|
Add "-box" option to abc9
Eddie Hung
2019-04-09
1
-7
/
+22
|
|
*
|
Add 'setundef -zero' call prior to aigmap in abc9
Eddie Hung
2019-04-09
1
-0
/
+4
|
|
*
|
Comment out
Eddie Hung
2019-04-09
1
-1
/
+1
|
|
*
|
Add support for synth_xilinx -abc9 and ignore abc9 -dress opt
Eddie Hung
2019-04-09
1
-0
/
+5
|
/
*
More space fixing
Eddie Hung
2019-04-08
1
-2
/
+2
|
*
abc9 -- multiple connections for inouts
Eddie Hung
2019-02-26
1
-1
/
+2
|
*
abc9 cleanup
Eddie Hung
2019-02-25
1
-6
/
+4
|
*
read_aiger to accept empty string for clk_name, passable only if no latches
Eddie Hung
2019-02-25
1
-2
/
+1
|
*
abc9 not to clean after aigmap
Eddie Hung
2019-02-25
1
-1
/
+1
|
*
abc9 to call "clean" once at the end of all abc9_module() calls
Eddie Hung
2019-02-25
1
-4
/
+4
|
*
abc9 to use AIGER symbol table, as opposed to map file
Eddie Hung
2019-02-21
1
-5
/
+16
|
*
Revert "abc9 to write_xaiger -symbols, not -map"
Eddie Hung
2019-02-21
1
-2
/
+3
|
|
|
|
This reverts commit 04429f8152ae64de050580ec20db60ac6dc1c0e1.
*
Remove irrelevant citations
Eddie Hung
2019-02-21
1
-8
/
+0
|
*
Add attribution
Eddie Hung
2019-02-21
1
-0
/
+1
|
*
abc9 to not select anything extra, and pop selection after final clean
Eddie Hung
2019-02-21
1
-14
/
+2
|
*
abc9 to write_xaiger -symbols, not -map
Eddie Hung
2019-02-21
1
-3
/
+2
|
*
abc9 to use &mfs
Eddie Hung
2019-02-21
1
-1
/
+2
|
*
abc9 to only disconnect output ports of AND and NOT gates
Eddie Hung
2019-02-21
1
-2
/
+4
|
*
ABC -> ABC9
Eddie Hung
2019-02-20
1
-1
/
+1
|
*
abc9 to disconnect mapped_mods POs correctly, and do not count $_NOT_
Eddie Hung
2019-02-20
1
-21
/
+29
|
*
lut/not/and suffix to be ${lut,not,and}
Eddie Hung
2019-02-20
1
-4
/
+4
|
*
abc9 to cope with multiple modules
Eddie Hung
2019-02-20
1
-7
/
+11
|
*
abc9 to use & syntax for -fast, and name fixes
Eddie Hung
2019-02-20
1
-5
/
+5
|
*
abc9 to cope with indexed wires when creating $lut from $_NOT_
Eddie Hung
2019-02-19
1
-1
/
+6
|
*
abc9 to replace $_NOT_ with $lut
Eddie Hung
2019-02-19
1
-4
/
+39
|
*
Get rid of debugging stuff in abc9
Eddie Hung
2019-02-16
1
-6
/
+1
|
*
abc9 to write_aiger with -O option, and ignore dummy outputs
Eddie Hung
2019-02-16
1
-2
/
+8
|
*
abc9 to handle comb loops, cope with constant outputs, disconnect using new wire
Eddie Hung
2019-02-16
1
-4
/
+67
|
*
abc9 to cope with non-wideports, count cells properly
Eddie Hung
2019-02-16
1
-11
/
+54
|
*
Move lookup inside if
Eddie Hung
2019-02-15
1
-2
/
+2
|
*
Refactor
Eddie Hung
2019-02-15
1
-29
/
+32
|
[prev]
[next]