diff options
Diffstat (limited to 'techlibs/common/simlib.v')
| -rw-r--r-- | techlibs/common/simlib.v | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/techlibs/common/simlib.v b/techlibs/common/simlib.v index ea36e2922..38687489a 100644 --- a/techlibs/common/simlib.v +++ b/techlibs/common/simlib.v @@ -1305,18 +1305,10 @@ endmodule // -------------------------------------------------------- -module \$expect (A, EN); +module \$predict (A, EN); input A, EN; -`ifndef SIMLIB_NOCHECKS -always @* begin - if (A === 1'b1 && EN === 1'b1) begin - $display("Expectation %m passed."); - end -end -`endif - endmodule // -------------------------------------------------------- |