index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
frontends
/
aiger
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug().
whitequark
2020-06-19
1
-10
/
+10
|
*
Use C++11 final/override keywords.
whitequark
2020-06-18
1
-2
/
+2
|
*
aiger: cleanup
Eddie Hung
2020-05-25
1
-2
/
+5
|
*
aiger: -xaiger to return $_FF_ flops
Eddie Hung
2020-05-14
1
-15
/
+2
|
*
aiger/xaiger: use odd for negedge clk, even for posedge
Eddie Hung
2020-05-14
1
-4
/
+3
|
|
|
|
Since abc9 doesn't like negative mergeability values
*
aiger: -xaiger to parse initial state back into (* init *) on Q wire
Eddie Hung
2020-05-14
1
-1
/
+2
|
*
aiger: -xaiger to read $_DFF_[NP]_ back with new clocks created
Eddie Hung
2020-05-14
2
-3
/
+24
|
|
|
|
according to mergeability class, and init state as cell attr
*
aiger: fixes for ports that have start_offset != 0
Eddie Hung
2020-05-02
1
-30
/
+47
|
*
aigerparse: only define __STDC_FORMAT_MACROS it not already before.
Henner Zeller
2020-04-07
1
-0
/
+2
|
*
kernel: big fat patch to use more ID::*, otherwise ID(*)
Eddie Hung
2020-04-02
1
-23
/
+23
|
*
kernel: use more ID::*
Eddie Hung
2020-04-02
1
-6
/
+6
|
*
Fix NDEBUG warnings
Eddie Hung
2020-03-19
1
-1
/
+1
|
*
Add and use SigSpec::reverse()
Eddie Hung
2020-01-28
1
-3
/
+3
|
*
xilinx/ice40/ecp5: undo permuting LUT masks in lut_map
Eddie Hung
2020-01-27
1
-2
/
+4
|
|
|
|
Now done in read_aiger
*
read_aiger: set abc9_box_seq attr
Eddie Hung
2020-01-24
1
-0
/
+1
|
*
read_aiger: also parse abc9_mergeability
Eddie Hung
2020-01-22
2
-2
/
+6
|
*
read_aiger: discard LUT inputs with nodeID == 0; not < 2
Eddie Hung
2020-01-21
1
-1
/
+1
|
*
read_aiger: ignore constant inputs on LUTs
Eddie Hung
2020-01-21
1
-3
/
+7
|
*
Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor
Eddie Hung
2020-01-15
1
-2
/
+2
|
\
|
*
read_aiger: $lut prefix in front
Eddie Hung
2020-01-15
1
-2
/
+2
|
|
*
|
Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor
Eddie Hung
2020-01-14
2
-13
/
+17
|
\
|
|
*
read_aiger: also rename "$0"
Eddie Hung
2020-01-14
1
-2
/
+2
|
|
|
*
read_aiger: uniquify wires with $aiger<autoidx> prefix
Eddie Hung
2020-01-13
2
-9
/
+13
|
|
|
*
read_aiger: make $and/$not/$lut the prefix not suffix
Eddie Hung
2020-01-13
1
-5
/
+5
|
|
*
|
abc9: break SCC by setting (* keep *) on output wires
Eddie Hung
2020-01-13
1
-1
/
+3
|
|
*
|
read_aiger: more accurate debug message
Eddie Hung
2020-01-09
1
-2
/
+4
|
|
*
|
read_aiger: do not double-count outputs for flops
Eddie Hung
2020-01-09
1
-6
/
+0
|
|
*
|
Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor
Eddie Hung
2020-01-07
1
-5
/
+20
|
\
|
|
*
read_aiger: consistency between ascii and binary; also name latches
Eddie Hung
2020-01-07
1
-3
/
+9
|
|
|
*
read_aiger: connect identical signals together
Eddie Hung
2020-01-07
1
-0
/
+1
|
|
|
*
read_aiger: cope with latches and POs with same name
Eddie Hung
2020-01-07
1
-2
/
+12
|
|
|
*
read_aiger: default -clk_name to be empty
Eddie Hung
2020-01-07
1
-1
/
+1
|
|
*
|
read_aiger fixes
Eddie Hung
2020-01-07
1
-5
/
+5
|
|
*
|
read_aiger: do not process box connections, work standalone
Eddie Hung
2020-01-07
1
-115
/
+46
|
|
*
|
read_aiger: consistency between ascii and binary
Eddie Hung
2020-01-07
1
-13
/
+7
|
|
*
|
read_aiger: add -xaiger option
Eddie Hung
2020-01-06
1
-7
/
+17
|
/
*
parse_xaiger to not take box_lookup
Eddie Hung
2019-12-31
2
-18
/
+20
|
*
parse_xaiger to reorder ports too
Eddie Hung
2019-12-31
1
-41
/
+26
|
*
aiger frontend to user shorter, $-prefixed, names
Eddie Hung
2019-12-17
1
-14
/
+14
|
*
Cleanup xaiger, remove unnecessary complexity with inout
Eddie Hung
2019-12-17
1
-23
/
+4
|
*
read_xaiger to cope with optional '\n' after 'c'
Eddie Hung
2019-12-17
1
-2
/
+2
|
*
Name inputs/outputs of aiger 'i%d' and 'o%d'
Eddie Hung
2019-12-13
1
-13
/
+6
|
*
Call abc9 with "&write -n", and parse_xaiger() to cope
Eddie Hung
2019-12-06
1
-92
/
+85
|
*
Do not connect undriven POs to 1'bx
Eddie Hung
2019-12-06
1
-8
/
+3
|
*
Consistent log message, ignore 's' extension
Eddie Hung
2019-11-20
1
-2
/
+3
|
*
Fix merge issues
Eddie Hung
2019-10-04
1
-1
/
+1
|
*
Merge remote-tracking branch 'origin/eddie/abc_to_abc9' into xaig_dff
Eddie Hung
2019-10-04
1
-4
/
+4
|
\
|
*
Rename abc_* names/attributes to more precisely be abc9_*
Eddie Hung
2019-10-04
1
-4
/
+4
|
|
*
|
Cleanup $currQ from aigerparse
Eddie Hung
2019-09-30
1
-2
/
+0
|
|
*
|
Merge remote-tracking branch 'origin/master' into xaig_dff
Eddie Hung
2019-09-30
1
-2
/
+6
|
\
|
[next]