mirror of
https://github.com/zachjs/sv2v.git
synced 2026-09-08 04:43:20 +02:00
additional codegen test coverage
- assertions, gen case, and inout - simplify block codegen - remove blank lines in tasks with no inputs
This commit is contained in:
@@ -0,0 +1,12 @@
|
||||
module Module(input clock, input clear, input data);
|
||||
logic x, y;
|
||||
assign y = data;
|
||||
assign x = y;
|
||||
assert property (
|
||||
@(posedge clock) disable iff(clear) x == y
|
||||
);
|
||||
task hello;
|
||||
$display("Hello!");
|
||||
assert property (x == y);
|
||||
endtask
|
||||
endmodule
|
||||
Reference in New Issue
Block a user