78 lines
714 B
Coq
78 lines
714 B
Coq
|
//testbench for intsat module
|
||
|
|
//Timothy Burman, 2022
|
||
|
|
|
||
|
|
module intsat_testbench
|
||
|
|
#(
|
||
|
|
|
||
|
|
parameter IN_LEN = 64,
|
||
|
|
parameter LTRUNC = 32
|
||
|
|
|
||
|
|
|
||
|
|
)
|
||
|
|
(
|
||
|
|
//Outputs
|
||
|
|
output signed [IN_LEN-LTRUNC-1:0] outp
|
||
|
|
);
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
reg signed [IN_LEN-1:0] inp;
|
||
|
|
|
||
|
|
intsat testbench (inp, outp);
|
||
|
|
|
||
|
|
initial
|
||
|
|
begin
|
||
|
|
|
||
|
|
//intial values
|
||
|
|
inp = 64'd410000000;
|
||
|
|
|
||
|
|
#10;
|
||
|
|
|
||
|
|
inp = inp + 1;
|
||
|
|
#10;
|
||
|
|
|
||
|
|
inp = inp + 1;
|
||
|
|
#10;
|
||
|
|
|
||
|
|
inp = inp + 1;
|
||
|
|
#10;
|
||
|
|
|
||
|
|
inp = inp + 1;
|
||
|
|
#10;
|
||
|
|
|
||
|
|
inp = inp + 1;
|
||
|
|
#10;
|
||
|
|
|
||
|
|
inp = inp + 1;
|
||
|
|
#10;
|
||
|
|
|
||
|
|
inp = inp + 10000000;
|
||
|
|
#10;
|
||
|
|
|
||
|
|
inp = inp + 10000000;
|
||
|
|
#10;
|
||
|
|
|
||
|
|
|
||
|
|
inp = inp - 1000000;
|
||
|
|
#10;
|
||
|
|
|
||
|
|
inp = -64'd1000000000;
|
||
|
|
|
||
|
|
#10;
|
||
|
|
|
||
|
|
inp = inp - 400095;
|
||
|
|
|
||
|
|
#10;
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
$finish;
|
||
|
|
|
||
|
|
|
||
|
|
end
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
endmodule
|