aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/aiger/aigerparse.cc
Commit message (Collapse)AuthorAgeFilesLines
* read_aiger: $lut prefix in frontEddie Hung2020-01-151-2/+2
|
* 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
|
* 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
|
* 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>
* | Set abc_flop and use it in toposortEddie Hung2019-08-191-0/+1
| |
* | Merge branch 'eddie/abc9_refactor' into xaig_dffEddie Hung2019-08-161-41/+32
|\|
| * Merge pull request #1258 from YosysHQ/eddie/cleanupClifford Wolf2019-08-101-16/+16
| |\ | | | | | | Cleanup a few barnacles across codebase
| | * RTLIL::S{0,1} -> State::S{0,1}Eddie Hung2019-08-061-16/+16
| | |
| * | Add __STDC_FORMAT_MACROS before <inttypes.h> as per @mithroEddie Hung2019-08-091-0/+1
| | |
| * | Run "clean" on mapped_mod in its own designEddie Hung2019-08-071-23/+9
| |/
| * Fix formatting for msys2 mingw build using GetSizeMiodrag Milanovic2019-08-011-0/+4
| |
| * Fix missing semicolon in Windows-specific code in aigerparse.cc.William D. Jones2019-07-141-2/+2
| | | | | | | | Signed-off-by: William D. Jones <thor0505@comcast.net>
* | Short out async boxEddie Hung2019-07-111-0/+14
| |
* | Missing debug messageEddie Hung2019-07-111-0/+1
| |