Clifford Wolf
|
ca53fba44a
|
Rename "singleton" pass to "uniquify"
|
2017-08-20 12:31:50 +02:00 |
|
Clifford Wolf
|
bbdf7d9c66
|
Add "sim -zinit -rstlen"
|
2017-08-18 12:54:17 +02:00 |
|
Clifford Wolf
|
d30cc60ba9
|
Add "sim" support for memories
|
2017-08-18 11:44:50 +02:00 |
|
Clifford Wolf
|
0be738eaac
|
Add support for assert/assume/cover to "sim" command
|
2017-08-18 10:24:14 +02:00 |
|
Clifford Wolf
|
92e4b5aa77
|
Add writeback mode to "sim" command
|
2017-08-17 15:54:51 +02:00 |
|
Clifford Wolf
|
7b4f3f86c3
|
Improve "sim" command
|
2017-08-17 12:27:08 +02:00 |
|
Clifford Wolf
|
75046aa531
|
Add "sim" command skeleton
|
2017-08-16 13:05:21 +02:00 |
|