aboutsummaryrefslogtreecommitdiffstats
path: root/backends/smv
Commit message (Collapse)AuthorAgeFilesLines
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
| | | | | | | | | 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 $_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