aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
...
* Add "hierarchy -simcheck"Clifford Wolf2018-05-121-7/+23
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add "#ifdef __FreeBSD__"Johnny Sorocil2018-05-051-1/+1
|
* Add ABC FAQ to "help abc"Clifford Wolf2018-05-041-2/+6
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Replace -ignore_redef with -[no]overwriteClifford Wolf2018-05-031-2/+2
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Added missing dont_use handling for SR FFs to dfflibmapClifford Wolf2018-04-051-0/+4
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Removed $timescale from "sat" command VCD writerClifford Wolf2018-03-291-1/+0
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Chenged "extensions_map" to "extensions_list" in hierarchy.ccClifford Wolf2018-03-271-2/+2
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* passes/hierarchy: Reduce code duplication in expand_moduleSergi Granell2018-03-271-15/+13
| | | | | | This also makes it easier to add new file extensions support. Signed-off-by: Sergi Granell <xerpi.g.12@gmail.com>
* Add .sv support to "hierarchy -libdir"Clifford Wolf2018-03-261-0/+6
|
* Add "expose -input"Clifford Wolf2018-03-121-8/+43
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add "setundef -undef"Clifford Wolf2018-03-121-0/+11
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix handling of src attributes in flattenClifford Wolf2018-03-101-7/+2
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add "memory_nordff" passClifford Wolf2018-03-062-0/+112
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix connwrappers help messageClifford Wolf2018-03-041-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add $dlatchsr support to clk2fflogicClifford Wolf2018-02-261-4/+25
|
* Fix opt_rmdff handling of $dlatchsrClifford Wolf2018-02-261-0/+3
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add $allconst and $allseq cell typesClifford Wolf2018-02-231-0/+2
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Recognize stand-alone obj pattern even when it contains a slashClifford Wolf2018-02-131-0/+3
|
* Improve log messages in equiv_makeClifford Wolf2018-01-191-2/+2
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add "dffinit -highlow" and fix synth_intelClifford Wolf2018-01-091-0/+20
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add support for "yosys -E"Clifford Wolf2018-01-077-0/+12
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Bugfix in hierarchy blackbox module port width handlingClifford Wolf2018-01-071-1/+2
|
* Bugfix in hierarchy handling of blackbox module portsClifford Wolf2018-01-051-5/+4
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Merge pull request #480 from Fatsie/liberty_value_expressionClifford Wolf2018-01-041-2/+22
|\ | | | | Value of properties can be expression.
| * Value of properties can be expression.Staf Verhaegen2018-01-031-2/+22
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Example found in the 2007.03 Liberty Reference Manual that was also found in the wild: input_voltage(CMOS) { vil : 0.3 * VDD ; vih : 0.7 * VDD ; vimin : -0.5 ; vimax : VDD + 0.5 ; } Current implementation just parses the expression but no interpretation is done.
* | Temporarily derive blackbox modules in hierarchy to evaluate port widthsClifford Wolf2018-01-041-1/+14
|/ | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix a bug in clk2fflogic memory handlingClifford Wolf2017-12-141-1/+1
|
* Add clk2fflogic memory supportClifford Wolf2017-12-141-1/+77
|
* Check for memories in clk2fflogicClifford Wolf2017-12-131-0/+5
|
* Add warnings for driver-driver conflicts between FFs (and other cells) and ↵Clifford Wolf2017-12-122-3/+11
| | | | constants
* Add support for editline as replacement for readlineClifford Wolf2017-11-081-0/+4
|
* Add "ltp" commandClifford Wolf2017-10-312-0/+186
|
* Fix memory corruption bug in opt_rmdffClifford Wolf2017-10-261-0/+3
|
* Fix typo in opt_clean log messageClifford Wolf2017-10-261-1/+1
|
* Revert 90be0d8 as it causes endless loops for some designsClifford Wolf2017-10-141-1/+0
|
* Fix input vector for reduce cells.Kaj Tuomi2017-10-121-0/+1
|
* Rewrite ABC output to include proper net names in timing reportClifford Wolf2017-10-101-2/+17
|
* Add blackbox commandClifford Wolf2017-10-042-0/+82
|
* Added missing "break"Andrew Zonenberg2017-09-151-0/+1
|
* Implemented off-chain support for extract_reduceAndrew Zonenberg2017-09-151-84/+157
|
* extract_reduce now only removes the head of the chain, relying on "clean" to ↵Andrew Zonenberg2017-09-151-9/+19
| | | | delete upstream cells. Added "-allow-off-chain" flag, but it's currently ignored.
* Merge pull request #412 from azonenberg/reduce-fixesClifford Wolf2017-09-141-2/+2
|\ | | | | extract_reduce: Fix segfault on "undriven" inputs
| * extract_reduce: Fix segfault on "undriven" inputsRobert Ou2017-09-141-2/+2
| | | | | | | | | | | | | | | | This is easily triggered when un-techmapping if the technology-specific cell library isn't loaded. Outputs of technology-specific cells will be seen as inputs, and nets using those outputs will be seen as undriven. Just ignore these cells because they can't be part of a reduce chain anyways.
* | Merge pull request #411 from azonenberg/counter-extraction-fixesClifford Wolf2017-09-141-47/+116
|\ \ | | | | | | Various improvements and bug fixes to extract_counter
| * | Fixed bug where counter extraction on non-GreenPAK devices incorrectly ↵Andrew Zonenberg2017-09-141-32/+27
| | | | | | | | | | | | handled parallel counter output
| * | Added support for inferring counters with reset to full scale instead of zeroAndrew Zonenberg2017-09-141-4/+11
| | |
| * | Added RESET_TO_MAX parameter to $__COUNT_ cell. Cannot yet be extracted.Andrew Zonenberg2017-09-141-0/+1
| | |
| * | Added support for inferring counters with active-low resetAndrew Zonenberg2017-09-141-6/+15
| | |
| * | Initial support for extraction of counters with clock enableAndrew Zonenberg2017-09-141-9/+66
| | |
| * | Fixed typo in comment. Fixed bug where extract_counter would create up ↵Andrew Zonenberg2017-09-141-2/+2
| |/ | | | | | | counters when it meant to create down counters.