Marcelina Kościelnicka 4746ffd7b2 assertpmux: Fix crash on unused $pmux output. ...

Fixes #2595.

2021-02-22 23:30:28 +01:00

..

.gitignore

tests: add gitignores for auto-generated makefiles

2020-09-26 16:28:24 +02:00

asserts_seq.v

Added test cases for sat command

2014-02-04 13:43:34 +01:00

asserts_seq.ys

Added read_verilog -sv options, added support for bit, logic,

2014-06-12 11:54:20 +02:00

asserts.v

Added test cases for sat command

2014-02-04 13:43:34 +01:00

asserts.ys

Added read_verilog -sv options, added support for bit, logic,

2014-06-12 11:54:20 +02:00

bug2595.ys

assertpmux: Fix crash on unused $pmux output.

2021-02-22 23:30:28 +01:00

clk2fflogic.ys

More rigorous test

2020-01-16 09:15:42 -08:00

counters-repeat.v

support repeat loops with constant repeat counts outside of constant functions

2019-04-09 12:28:32 -04:00

counters-repeat.ys

support repeat loops with constant repeat counts outside of constant functions

2019-04-09 12:28:32 -04:00

counters.v

Added counters sat test case

2014-02-06 01:00:56 +01:00

counters.ys

Added counters sat test case

2014-02-06 01:00:56 +01:00

dff.ys

satgen: Add support for dffe, sdff, sdffe, sdffce cells.

2020-07-24 03:19:21 +02:00

expose_dff.v

Added test cases for expose -evert-dff

2014-02-08 21:31:56 +01:00

expose_dff.ys

Added test cases for expose -evert-dff

2014-02-08 21:31:56 +01:00

initval.v

Wire with init on FF part, 1'bx on non-FF part

2019-08-24 15:05:44 -07:00

initval.ys

Even more obvious testcase

2019-12-11 23:52:05 -08:00

run-test.sh

tests: Centralize test collection and Makefile generation

2020-09-21 15:07:02 +02:00

share.v

Added yet another resource sharing test case

2014-07-20 21:15:01 +02:00

share.ys

Added yet another resource sharing test case

2014-07-20 21:15:01 +02:00

sizebits.sv

We can now handle array slices (e.g. $size(x[1]) etc. )

2020-09-17 00:55:17 +03:00

sizebits.ys

Allow $size and $bits in verilog mode, actually check test case

2017-09-29 11:56:43 +02:00

splice.v

Added splice command

2014-02-07 20:30:56 +01:00

splice.ys

Added splice command

2014-02-07 20:30:56 +01:00