aboutsummaryrefslogtreecommitdiffstats
path: root/backends/smv
Commit message (Expand)AuthorAgeFilesLines
* Hook up $aldff support in various passes.Marcelina Koƛcielnicka2021-10-021-1/+1
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
* btor, smt2, smv: Add a hint on how to deal with funny FF types.Marcelina Koƛcielnicka2021-02-251-2/+16
* Add missing gitignores for test artifactsXiretza2020-08-311-0/+1
* Use C++11 final/override keywords.whitequark2020-06-181-2/+2
* Add flooring division operatorXiretza2020-05-281-2/+2
* Add flooring modulo operatorXiretza2020-05-282-4/+5
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-72/+72
* kernel: use more ID::*Eddie Hung2020-04-021-70/+70
* substr() -> compare()Eddie Hung2019-08-071-1/+1
* Add $_NMUX_, add "abc -g cmos", add proper cmos cell costsClifford Wolf2019-08-061-0/+7
* Add "whitebox" attribute, add "read_verilog -wb"Clifford Wolf2019-04-181-1/+1
* Minor updateAman Goel2018-10-151-1/+1
* Update to .smv backendAman Goel2018-10-011-33/+52
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
* Add $_ANDNOT_ and $_ORNOT_ gatesClifford Wolf2017-05-171-3/+7
* Added "yosys -D" featureClifford Wolf2016-04-211-1/+1
* Import more std:: stuff into Yosys namespaceClifford Wolf2015-10-251-5/+5
* Added SMV back-end 'test_cells.sh' scriptClifford Wolf2015-08-121-0/+33
* Bugfix in SMV back-end for partially unassigned wiresClifford Wolf2015-08-051-4/+16
* Added $assert support to SMV back-endClifford Wolf2015-08-041-4/+21
* Fixed trailing whitespacesClifford Wolf2015-07-021-2/+2
* Added init support to SMV back-endClifford Wolf2015-06-191-1/+3
* Progress in SMV back-endClifford Wolf2015-06-191-64/+115
* Progress in SMV back-endClifford Wolf2015-06-191-13/+59
* Progress in SMV back-endClifford Wolf2015-06-181-24/+94
* Progress in SMV back-endClifford Wolf2015-06-171-11/+72
* Progress in SMV back-endClifford Wolf2015-06-171-11/+64
* Progress in SMV back-endClifford Wolf2015-06-161-3/+46
* Progress in SMV back-endClifford Wolf2015-06-151-2/+95
* Progress in SMV back-endClifford Wolf2015-06-151-7/+85
* Added "write_smv" skeletonClifford Wolf2015-06-152-0/+261