diff options
-rw-r--r-- | .gitignore | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -130,3 +130,13 @@ benchmarks/**/*.v # Test *.check *.txt +*.verilator/ +*.tmp +*.clog +obj_dir/ +*.[0-9] +/*.c +/*.sv +/*.v + +.direnv/ |
index : vericert | ||
Vericert is a formally verified high-level synthesis tool. |
aboutsummaryrefslogtreecommitdiffstats |
-rw-r--r-- | .gitignore | 10 |
@@ -130,3 +130,13 @@ benchmarks/**/*.v # Test *.check *.txt +*.verilator/ +*.tmp +*.clog +obj_dir/ +*.[0-9] +/*.c +/*.sv +/*.v + +.direnv/ |