aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/aiger
Commit message (Collapse)AuthorAgeFilesLines
* aigerparse: only define __STDC_FORMAT_MACROS it not already before.Henner Zeller2020-04-071-0/+2
|
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-23/+23
|
* kernel: use more ID::*Eddie Hung2020-04-021-6/+6
|
* Fix NDEBUG warningsEddie Hung2020-03-191-1/+1
|
* Add and use SigSpec::reverse()Eddie Hung2020-01-281-3/+3
|
* xilinx/ice40/ecp5: undo permuting LUT masks in lut_mapEddie Hung2020-01-271-2/+4
| | | | Now done in read_aiger
* read_aiger: set abc9_box_seq attrEddie Hung2020-01-241-0/+1
|
* read_aiger: also parse abc9_mergeabilityEddie Hung2020-01-222-2/+6
|
* read_aiger: discard LUT inputs with nodeID == 0; not < 2Eddie Hung2020-01-211-1/+1
|
* read_aiger: ignore constant inputs on LUTsEddie Hung2020-01-211-3/+7
|
* Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-151-2/+2
|\
| * read_aiger: $lut prefix in frontEddie Hung2020-01-151-2/+2
| |
* | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-142-13/+17
|\|
| * read_aiger: also rename "$0"Eddie Hung2020-01-141-2/+2
| |
| * read_aiger: uniquify wires with $aiger<autoidx> prefixEddie Hung2020-01-132-9/+13
| |
| * read_aiger: make $and/$not/$lut the prefix not suffixEddie Hung2020-01-131-5/+5
| |
* | abc9: break SCC by setting (* keep *) on output wiresEddie Hung2020-01-131-1/+3
| |
* | read_aiger: more accurate debug messageEddie Hung2020-01-091-2/+4
| |
* | read_aiger: do not double-count outputs for flopsEddie Hung2020-01-091-6/+0
| |
* | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-071-5/+20
|\|
| * read_aiger: consistency between ascii and binary; also name latchesEddie Hung2020-01-071-3/+9
| |
| * read_aiger: connect identical signals togetherEddie Hung2020-01-071-0/+1
| |
| * read_aiger: cope with latches and POs with same nameEddie Hung2020-01-071-2/+12
| |
| * read_aiger: default -clk_name to be emptyEddie Hung2020-01-071-1/+1
| |
* | read_aiger fixesEddie Hung2020-01-071-5/+5
| |
* | read_aiger: do not process box connections, work standaloneEddie Hung2020-01-071-115/+46
| |
* | read_aiger: consistency between ascii and binaryEddie Hung2020-01-071-13/+7
| |
* | read_aiger: add -xaiger optionEddie Hung2020-01-061-7/+17
|/
* parse_xaiger to not take box_lookupEddie Hung2019-12-312-18/+20
|
* parse_xaiger to reorder ports tooEddie Hung2019-12-311-41/+26
|
* aiger frontend to user shorter, $-prefixed, namesEddie Hung2019-12-171-14/+14
|
* Cleanup xaiger, remove unnecessary complexity with inoutEddie Hung2019-12-171-23/+4
|
* read_xaiger to cope with optional '\n' after 'c'Eddie Hung2019-12-171-2/+2
|
* Name inputs/outputs of aiger 'i%d' and 'o%d'Eddie Hung2019-12-131-13/+6
|
* Call abc9 with "&write -n", and parse_xaiger() to copeEddie Hung2019-12-061-92/+85
|
* Do not connect undriven POs to 1'bxEddie Hung2019-12-061-8/+3
|
* Consistent log message, ignore 's' extensionEddie Hung2019-11-201-2/+3
|
* Fix merge issuesEddie Hung2019-10-041-1/+1
|
* Merge remote-tracking branch 'origin/eddie/abc_to_abc9' into xaig_dffEddie Hung2019-10-041-4/+4
|\
| * Rename abc_* names/attributes to more precisely be abc9_*Eddie Hung2019-10-041-4/+4
| |
* | Cleanup $currQ from aigerparseEddie Hung2019-09-301-2/+0
| |
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-301-2/+6
|\|
| * Merge pull request #1416 from YosysHQ/mmicko/frontend_binary_inMiodrag Milanović2019-09-301-2/+6
| |\ | | | | | | Open aig frontend as binary file
| | * Fix reading aig files on windowsMiodrag Milanovic2019-09-291-1/+5
| | |
| | * Open aig frontend as binary fileMiodrag Milanovic2019-09-291-1/+1
| | |
| | * Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxextEddie Hung2019-09-181-1/+1
| | |\ | | | | | | | | peepopt_dffmux -- bit optimisations for word level $dff + (enable/reset) $mux cells
* | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-291-2/+2
|\| | |
| * | | Force $inout.out ports to begin with '$' to indicate internalEddie Hung2019-09-231-2/+2
| | | |
| * | | Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dspEddie Hung2019-09-051-1/+1
| |\ \ \ | | |/ / | |/| / | | |/
| | * Revert "parse_xaiger() to do "clean -purge""Eddie Hung2019-09-041-1/+1
| | | | | | | | | | | | This reverts commit 5d16bf831688ff665b0ec2abd6835b71320b2db5.
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-02 19:53:24 +0000