aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/aiger/aigerparse.cc
Commit message (Collapse)AuthorAgeFilesLines
* 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-141-13/+14
|\|
| * read_aiger: also rename "$0"Eddie Hung2020-01-141-2/+2
| |
| * read_aiger: uniquify wires with $aiger<autoidx> prefixEddie Hung2020-01-131-9/+10
| |
| * 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-311-17/+19
|
* 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.
| * | Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-301-1/+1
| |\|
| | * parse_xaiger() to do "clean -purge"Eddie Hung2019-08-291-1/+1
| | |
| | * Fix typoEddie Hung2019-08-191-1/+1
| | |
* | | Big rework; flop info now mostly in cells_sim.vEddie Hung2019-09-281-6/+13
| | |
* | | Revert "Remove sequential extension"Eddie Hung2019-08-201-2/+33
|/ / | | | | | | This reverts commit 091bf4a18b2f4bf84fe62b61577c88d961468b3c.
* | Remove sequential extensionEddie Hung2019-08-201-33/+2
| |
* | Use abc_{map,unmap,model}.vEddie Hung2019-08-201-31/+10
| |
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-08-191-12/+9
|\|
| * Remove unused variableEddie Hung2019-08-161-5/+0
| |
| * Fix various NDEBUG compiler warnings, closes #1255Clifford Wolf2019-08-131-9/+11
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-18 12:12:56 +0000