Which of the following assertions correctly verify an asynch…

Which of the following assertions correctly verify an asynchronous reset, where the following register’s output out is all 0s during the same cycle that reset is asserted? Select all that apply. Assume a 200 MHz clock.   module register  #(    parameter WIDTH    )   (    input logic              clk,    input logic              rst,    input logic              en,    input logic [WIDTH-1:0]  in,    output logic [WIDTH-1:0] out    );  

What is the minimum number of tests (directed or random) tha…

What is the minimum number of tests (directed or random) that would be required to achieve 100% coverage for the following cover group? module add  #(    parameter WIDTH    )   (    input logic [WIDTH-1:0]  in0, in1,    input logic          carry_in,    output logic [WIDTH-1:0] sum,    output logic          carry_out    );   covergroup cg @(posedge clk);      cin : coverpoint carry_in;      cout : coverpoint carry_out;     in0_cp : coverpoint in0 {option.auto_bin_max = 4;}     in1_cp : coverpoint in1 {option.auto_bin_max = 4;}     in0_cross_in1 : cross in0_cp, in1_cp;               endgroup  

You have a FIFO with a 2-cycle read latency feeding a pipeli…

You have a FIFO with a 2-cycle read latency feeding a pipeline that is 20 cycles deep. For an absorption FIFO with 32 elements, what  does the programmable full threshold need to be ensure no data is lost? The threshold is the number of elements in the FIFO at which almost/programmable full gets asserted.