aboutsummaryrefslogtreecommitdiffstats
path: root/backends/aiger/xaiger.cc
Commit message (Collapse)AuthorAgeFilesLines
...
| * xaiger: do not promote output wiresEddie Hung2019-11-261-5/+0
| |
* | Add "synth_xilinx -dff" option, cleanup abc9Eddie Hung2019-12-301-2/+3
| |
* | Really fix it!Eddie Hung2019-12-271-10/+7
| |
* | write_xaiger: fix arrival times for non boxesEddie Hung2019-12-271-18/+25
| |
* | write_xaiger to opt instead of just clean whiteboxesEddie Hung2019-12-231-1/+1
| |
* | Cleanup xaiger, remove unnecessary complexity with inoutEddie Hung2019-12-171-61/+20
| |
* | Do not sigmapEddie Hung2019-12-171-1/+1
| |
* | Revert "Use sigmap signal"Eddie Hung2019-12-171-1/+1
| | | | | | | | This reverts commit 42f990f3a6b7928841fa0e290fa2688925485907.
* | Use sigmap signalEddie Hung2019-12-161-1/+1
| |
* | Skip $inout transformation if not a PIEddie Hung2019-12-161-3/+5
| |
* | Revert "write_xaiger: use sigmap bits more consistently"Eddie Hung2019-12-161-4/+5
| | | | | | | | This reverts commit 6c340112fee1bb8989cbd41923aaa627d77d5110.
* | write_xaiger: use sigmap bits more consistentlyEddie Hung2019-12-161-5/+4
| |
* | Fix writing non-whole modules, including inouts and keepsEddie Hung2019-12-061-90/+81
| |
* | write_xaiger to support part-selected modules againEddie Hung2019-12-051-11/+37
| |
* | CleanupEddie Hung2019-12-031-11/+12
| |
* | write_xaiger to consume abc9_init attribute for abc9_flopsEddie Hung2019-12-031-34/+28
| |
* | Add comment, use sigmapEddie Hung2019-11-271-2/+2
| |
* | Revert "Fold loop"Eddie Hung2019-11-271-3/+6
| | | | | | | | This reverts commit da51492dbcc9f19a4808ef18e8ae1222bc55b118.
* | xaiger: do not promote output wiresEddie Hung2019-11-261-5/+0
| |
* | Fold loopEddie Hung2019-11-251-6/+3
| |
* | Do not sigmap keep bits inside write_xaigerEddie Hung2019-11-251-1/+1
| |
* | write_xaiger back to working with whole modules onlyEddie Hung2019-11-221-5/+2
| |
* | Revert "write_xaiger to not use module POs but only write outputs if driven"Eddie Hung2019-11-221-23/+11
| | | | | | | | This reverts commit 0ab1e496dc601f8e9d5efbcc5b2be7cf6b2d9673.
* | write_xaiger to not use module POs but only write outputs if drivenEddie Hung2019-11-211-11/+23
| |
* | abc9 to support async flops $_DFF_[NP][NP][01]_Eddie Hung2019-11-191-1/+2
| |
* | Rename $currQ to $abc9_currQEddie Hung2019-10-071-8/+8
| |
* | Get rid of latch_* in write_xaigerEddie Hung2019-10-071-7/+1
| |
* | Remove "write_xaiger -zinit"Eddie Hung2019-10-071-16/+6
| |
* | Add comment on default flop initEddie Hung2019-10-071-0/+1
| |
* | Get rid of output_port lookupEddie Hung2019-10-071-14/+8
| |
* | Do not require changes to cells_sim.v; try and work out comb modelEddie Hung2019-10-051-48/+70
| |
* | Error if $currQ not foundEddie Hung2019-10-051-0/+4
| |
* | Fix merge issuesEddie Hung2019-10-041-1/+1
| |
* | Merge remote-tracking branch 'origin/eddie/abc_to_abc9' into xaig_dffEddie Hung2019-10-041-11/+11
|\|
| * Rename abc_* names/attributes to more precisely be abc9_*Eddie Hung2019-10-041-9/+9
| |
* | No need to punch ports at allEddie Hung2019-09-301-0/+24
| |
* | Remove need for $currQ port connectionEddie Hung2019-09-301-3/+3
| |
* | CleanupEddie Hung2019-09-301-100/+3
| |
* | Use a cell_cache to instantiate once rather than opt_merge callEddie Hung2019-09-301-15/+15
| |
* | scc call on active module module only, plus cleanupEddie Hung2019-09-301-8/+12
| |
* | Use derived moduleEddie Hung2019-09-301-22/+5
| |
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-291-8/+8
|\|
| * Merge pull request #1359 from YosysHQ/xc7dspEddie Hung2019-09-291-8/+8
| |\ | | | | | | DSP inference for Xilinx (improved for ice40, initial support for ecp5)
| | * "abc_padding" attr for blackbox outputs that were padded, remove them laterEddie Hung2019-09-231-1/+6
| | |
| | * Force $inout.out ports to begin with '$' to indicate internalEddie Hung2019-09-231-1/+1
| | |
| | * When two boxes connect to each other, need not be a (* keep *)Eddie Hung2019-09-191-6/+1
| | |
* | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-291-1/+1
|\| |
| * | Support binary files for backends, fixes #1407Miodrag Milanovic2019-09-281-1/+1
| |/
* | Big rework; flop info now mostly in cells_sim.vEddie Hung2019-09-281-62/+93
| |
* | Use abc_mergeability attr for "r" extensionEddie Hung2019-09-271-58/+66
| |