projects
/
yosys.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
Merge pull request #1261 from YosysHQ/clifford/verific_init
[yosys.git]
/
tests
/
various
/
drwxr-xr-x
..
-rw-r--r--
45
.gitignore
blob
|
history
|
raw
-rw-r--r--
155
abc9.v
blob
|
history
|
raw
-rw-r--r--
499
abc9.ys
blob
|
history
|
raw
-rw-r--r--
468
async.sh
blob
|
history
|
raw
-rw-r--r--
1842
async.v
blob
|
history
|
raw
-rw-r--r--
405
attrib05_port_conn.v
blob
|
history
|
raw
-rw-r--r--
64
attrib05_port_conn.ys
blob
|
history
|
raw
-rw-r--r--
393
attrib07_func_call.v
blob
|
history
|
raw
-rw-r--r--
64
attrib07_func_call.ys
blob
|
history
|
raw
-rw-r--r--
1383
chparam.sh
blob
|
history
|
raw
-rw-r--r--
133
constmsk_test.v
blob
|
history
|
raw
-rw-r--r--
298
constmsk_test.ys
blob
|
history
|
raw
-rw-r--r--
1339
constmsk_testmap.v
blob
|
history
|
raw
-rw-r--r--
548
elab_sys_tasks.sv
blob
|
history
|
raw
-rw-r--r--
35
elab_sys_tasks.ys
blob
|
history
|
raw
-rw-r--r--
82
gzip_verilog.v.gz
blob
|
history
|
raw
-rw-r--r--
54
gzip_verilog.ys
blob
|
history
|
raw
-rw-r--r--
1132
hierarchy.sh
blob
|
history
|
raw
-rw-r--r--
11572
muxcover.ys
blob
|
history
|
raw
-rw-r--r--
7002
muxpack.v
blob
|
history
|
raw
-rw-r--r--
6350
muxpack.ys
blob
|
history
|
raw
-rw-r--r--
738
pmux2shiftx.v
blob
|
history
|
raw
-rw-r--r--
668
pmux2shiftx.ys
blob
|
history
|
raw
-rw-r--r--
1477
reg_wire_error.sv
blob
|
history
|
raw
-rw-r--r--
35
reg_wire_error.ys
blob
|
history
|
raw
-rwxr-xr-x
199
run-test.sh
blob
|
history
|
raw
-rw-r--r--
440
script.ys
blob
|
history
|
raw
-rw-r--r--
1136
shregmap.v
blob
|
history
|
raw
-rw-r--r--
1195
shregmap.ys
blob
|
history
|
raw
-rw-r--r--
666
signext.ys
blob
|
history
|
raw
-rw-r--r--
730
specify.v
blob
|
history
|
raw
-rw-r--r--
1496
specify.ys
blob
|
history
|
raw
-rw-r--r--
473
submod_extract.ys
blob
|
history
|
raw
-rw-r--r--
1534
wreduce.ys
blob
|
history
|
raw
-rw-r--r--
274
write_gzip.ys
blob
|
history
|
raw