Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 95 | logstatsplain |
-rw-r--r-- | Makefile | 385 | logstatsplain |
-rw-r--r-- | basic00.sv | 489 | logstatsplain |
-rw-r--r-- | basic01.sv | 386 | logstatsplain |
-rw-r--r-- | basic02.sv | 506 | logstatsplain |
-rw-r--r-- | basic03.sv | 398 | logstatsplain |
-rw-r--r-- | basic04.sv | 329 | logstatsplain |
-rw-r--r-- | basic04.vhd | 471 | logstatsplain |
-rw-r--r-- | basic05.sv | 413 | logstatsplain |
-rw-r--r-- | basic05.vhd | 473 | logstatsplain |
-rw-r--r-- | counter.sv | 770 | logstatsplain |
-rw-r--r-- | extnets.sv | 289 | logstatsplain |
-rw-r--r-- | nested_clk_else.sv | 241 | logstatsplain |
-rw-r--r-- | runtest.sh | 1162 | logstatsplain |
-rw-r--r-- | sva_not.sv | 505 | logstatsplain |
-rw-r--r-- | sva_range.sv | 256 | logstatsplain |
-rw-r--r-- | sva_throughout.sv | 259 | logstatsplain |
-rw-r--r-- | sva_value_change_changed.sv | 206 | logstatsplain |
-rw-r--r-- | sva_value_change_changed_wide.sv | 331 | logstatsplain |
-rw-r--r-- | sva_value_change_rose.sv | 245 | logstatsplain |
-rw-r--r-- | sva_value_change_sim.sv | 2300 | logstatsplain |
-rw-r--r-- | sva_value_change_sim.ys | 97 | logstatsplain |