diff options
Diffstat (limited to 'tests/sim/sim_adlatch.ys')
| -rw-r--r-- | tests/sim/sim_adlatch.ys | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/tests/sim/sim_adlatch.ys b/tests/sim/sim_adlatch.ys index 787b00c39..eece7dc0d 100644 --- a/tests/sim/sim_adlatch.ys +++ b/tests/sim/sim_adlatch.ys @@ -1,6 +1,10 @@ -read_verilog adlatch.v -synth -#TODO: adlatch is not emited +read_verilog -icells <<EOT +module adlatch(input d, rst, en, output reg q); +$adlatch #(.EN_POLARITY(1'b1), .ARST_POLARITY(1'b1), .ARST_VALUE(1'b0), .WIDTH(1)) uut (.EN(en), .ARST(rst), .D(d), .Q(q)); +endmodule +EOT +proc +opt_dff stat -#select -assert-count 1 t:$adlatch +select -assert-count 1 t:$adlatch sim -r tb_adlatch.fst -scope tb_adlatch.uut -sim-cmp adlatch |