mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-03 21:09:12 +00:00
Code Activity

Add default entry to testcase

Browse source
This commit is contained in:
Eddie Hung 2019-04-11 15:03:40 -07:00
parent adc6efb584
commit 7685469ee2
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
tests/various/muxcover.ys
View file

@ -8,12 +8,13 @@ read_verilog -formal <<EOT
3'b?1?: Y = B;
3'b1??: Y = C;
3'b000: Y = D;
default: Y = 'bx;
endcase
endmodule
EOT
## Examle usage for "pmuxtree" and "muxcover"
## Example usage for "pmuxtree" and "muxcover"
proc
pmuxtree