|
aiger2.ys
|
aiger2: Add test of writing a flattened view
|
2024-10-07 12:04:33 +02:00 |
|
autoname.ys
|
Remove references to ilang
|
2024-11-05 12:36:31 +13:00 |
|
box_derive.ys
|
box_derive: Tune the test
|
2024-05-29 20:42:11 +02:00 |
|
bug1496.ys
|
Remove references to ilang
|
2024-11-05 12:36:31 +13:00 |
|
check.ys
|
check: Extend testing
|
2024-03-11 10:45:17 +01:00 |
|
check_2.ys
|
check: Extend testing
|
2024-03-11 10:45:17 +01:00 |
|
check_3.ys
|
check: Rephrase regex for portability
|
2024-03-11 10:45:17 +01:00 |
|
check_4.ys
|
celledges: Add read ports arst paths
|
2024-03-11 10:45:17 +01:00 |
|
equiv_opt_undef.ys
|
Remove references to ilang
|
2024-11-05 12:36:31 +13:00 |
|
json_scopeinfo.ys
|
emit $scopeinfo cells by default
|
2025-01-08 14:47:46 +01:00 |
|
keep_hierarchy.ys
|
Add keep_hierarchy test
|
2024-11-05 09:28:45 +01:00 |
|
peepopt_formal.ys
|
peepopt clockgateff: add testcase
|
2024-08-07 10:21:52 +01:00 |
|
run-test.sh
|
test: restore verific handling, nicer naming
|
2024-12-13 10:24:47 +01:00 |
|
specify.v
|
verilog: ignore ranges too without -specify
|
2020-02-13 17:58:43 -08:00 |
|
sub.v
|
Add test for bug 3462
|
2022-08-29 10:10:09 +02:00 |
|
tcl_apis.tcl
|
Redo integer passing on top of bignum
|
2024-12-02 19:56:51 +01:00 |
|
tcl_apis.v
|
Redo integer passing on top of bignum
|
2024-12-02 19:56:51 +01:00 |
|
tcl_apis.ys
|
Fix test
|
2024-11-04 16:19:59 +01:00 |
|
wrapcell.ys
|
wrapcell: Test check -assert post wrapping
|
2024-12-10 15:13:31 +01:00 |
|
wreduce2.ys
|
wreduce: Optimize signedness when possible
|
2024-12-16 12:57:08 +01:00 |