aboutsummaryrefslogtreecommitdiffstats
path: root/passes/tests
Commit message (Collapse)AuthorAgeFilesLines
* Add flooring division operatorXiretza2020-05-281-1/+2
| | | | | | | | | | The $div and $mod cells use truncating division semantics (rounding towards 0), as defined by e.g. Verilog. Another rounding mode, flooring (rounding towards negative infinity), can be used in e.g. VHDL. The new $divfloor cell provides this flooring division. This commit also fixes the handling of $div in opt_expr, which was previously optimized as if it was $divfloor.
* Add flooring modulo operatorXiretza2020-05-281-1/+2
| | | | | | | | | | | The $div and $mod cells use truncating division semantics (rounding towards 0), as defined by e.g. Verilog. Another rounding mode, flooring (rounding towards negative infinity), can be used in e.g. VHDL. The new $modfloor cell provides this flooring modulo (also known as "remainder" in several languages, but this name is ambiguous). This commit also fixes the handling of $mod in opt_expr, which was previously optimized as if it was $modfloor.
* Add plusargs for output files in test_autotb outputClaire Wolf2020-05-021-3/+10
| | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* Clean up `passes/tests/test_autotb.cc`.Alberto Gonzalez2020-04-061-12/+8
|
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-023-104/+104
|
* kernel: use more ID::*Eddie Hung2020-04-021-38/+38
|
* Document (* gentb_skip *) attr for test_autotbEddie Hung2019-09-061-0/+3
|
* Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-08-201-2/+2
|\
| * More use of IdString::in()Eddie Hung2019-08-151-2/+2
| |
* | Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-08-121-18/+18
|\|
| * substr() -> compare()Eddie Hung2019-08-071-1/+1
| |
| * RTLIL::S{0,1} -> State::S{0,1}Eddie Hung2019-08-071-17/+17
| |
| * stoi -> atoiEddie Hung2019-08-073-6/+6
| |
| * Use std::stoi instead of atoi(<str>.c_str())Eddie Hung2019-08-063-6/+6
| |
* | Update test_autotb doc to reflect default value of zeroEddie Hung2019-07-261-1/+3
| |
* | Add doc for "test_autotb -seed" optionEddie Hung2019-07-261-0/+3
|/
* flowmap: implement depth relaxation.whitequark2019-01-086-0/+82
|
* flowmap: cleanup for clarity. NFCI.whitequark2019-01-042-0/+38
|
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-203-6/+6
| | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established)
* Add $live and $fair cell types, add support for s_eventually keywordClifford Wolf2017-02-251-2/+0
|
* Cosmetic fix in test_autotb.ccClifford Wolf2016-09-191-2/+2
|
* Avoid creating very long strings in test_autotbClifford Wolf2016-09-191-4/+10
|
* Removed $predict againClifford Wolf2016-08-281-1/+0
|
* Bugfix in test_autotbClifford Wolf2016-08-181-0/+4
|
* Added "test_autotb -seed" (and "autotest.sh -S")Clifford Wolf2016-08-061-3/+8
|
* Renamed AbstractCellEdgesDatabase::add_cell() to add_edges_from_cell()Clifford Wolf2016-07-251-1/+1
|
* Improvements in CellEdgesDatabaseClifford Wolf2016-07-241-3/+33
|
* Added CellEdgesDatabase APIClifford Wolf2016-07-241-0/+96
|
* After reading the SV spec, using non-standard predict() instead of expect()Clifford Wolf2016-07-211-1/+1
|
* Added basic support for $expect cellsClifford Wolf2016-07-131-0/+2
|
* Improved support for $sop cellsClifford Wolf2016-06-171-2/+38
|
* Improvements and fixes in autotest.sh script and test_autotbClifford Wolf2016-05-201-3/+3
|
* Close opened dump file.Kaj Tuomi2016-05-191-0/+1
|
* Fix for Modelsim transcript line warp issue #164Kaj Tuomi2016-05-191-7/+13
|
* Fixed test_autotb for modules with many cell portsClifford Wolf2016-04-251-3/+6
|
* Added "yosys -D" featureClifford Wolf2016-04-211-1/+1
|
* Import more std:: stuff into Yosys namespaceClifford Wolf2015-10-251-1/+1
|
* Added "test_cell -noeval"Clifford Wolf2015-09-251-1/+10
|
* Re-created command-reference-manual.tex, copied some doc fixes to online helpClifford Wolf2015-08-142-2/+2
|
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-141-1/+1
|
* Fixed trailing whitespacesClifford Wolf2015-07-021-3/+3
|
* Renamed "aig" to "aigmap"Clifford Wolf2015-06-101-4/+4
|
* Fixed cellaigs port extendingClifford Wolf2015-06-101-0/+7
|
* Replaced ezDefaultSAT with ezSatPtrClifford Wolf2015-02-212-17/+17
|
* Some test related fixesClifford Wolf2015-02-121-1/+1
| | | | (incl. removal of three bad test cases)
* Added ENABLE_NDEBUG makefile optionsClifford Wolf2015-01-241-2/+2
|
* Replaced std::unordered_map as implementation for Yosys::dictClifford Wolf2014-12-261-12/+12
|
* Added "test_cell -muxdiv"Clifford Wolf2014-12-251-2/+18
|
* Added "test_cell -w" featureClifford Wolf2014-12-251-18/+39
|
* Fixed typo in test_cellClifford Wolf2014-10-181-1/+1
|