aboutsummaryrefslogtreecommitdiffstats
path: root/src/Test/VeriFuzz
Commit message (Collapse)AuthorAgeFilesLines
...
* Basic generation with errorsYann Herklotz2018-11-162-5/+23
|
* Remove Nor and Nand from typesYann Herklotz2018-11-161-4/+2
| | | | Should add Not to the list, as that will emulate those fine.
* Format and remove unnecessary declarationsYann Herklotz2018-11-161-6/+3
|
* Add statements to the Verilog moduleYann Herklotz2018-11-161-12/+24
|
* Add style to the filesYann Herklotz2018-11-143-11/+12
|
* Add testbench to the endYann Herklotz2018-11-091-1/+1
|
* Generate some Verilog code from graphYann Herklotz2018-11-091-0/+32
|
* Random generation of DAGYann Herklotz2018-11-093-16/+42
|
* Add initial module filesYann Herklotz2018-11-093-0/+22