Cleanup space issues
This commit is contained in:
parent
7e62a1b848
commit
b497d362a7
|
|
@ -13,7 +13,7 @@
|
|||
|
||||
(CELL
|
||||
(CELLTYPE "my_design")
|
||||
(INSTANCE)
|
||||
(INSTANCE)
|
||||
(DELAY
|
||||
(ABSOLUTE
|
||||
(INTERCONNECT a buffer0.in (0.010:0.020:0.030) (0.010:0.020:0.030))
|
||||
|
|
@ -33,7 +33,7 @@
|
|||
)
|
||||
)
|
||||
)
|
||||
|
||||
|
||||
(CELL
|
||||
(CELLTYPE "buffer")
|
||||
(INSTANCE buffer1)
|
||||
|
|
@ -43,7 +43,7 @@
|
|||
)
|
||||
)
|
||||
)
|
||||
|
||||
|
||||
(CELL
|
||||
(CELLTYPE "buffer")
|
||||
(INSTANCE buffer2)
|
||||
|
|
|
|||
|
|
@ -46,10 +46,10 @@ module top;
|
|||
$sdf_annotate("ivltests/sdf_interconnect1.sdf", my_design_inst);
|
||||
$monitor("time=%0t a=%h b=%h", $realtime, a, b);
|
||||
end
|
||||
|
||||
|
||||
reg a;
|
||||
wire b;
|
||||
|
||||
|
||||
initial begin
|
||||
#5;
|
||||
a <= 1'b0;
|
||||
|
|
@ -58,7 +58,7 @@ module top;
|
|||
#10;
|
||||
$finish;
|
||||
end
|
||||
|
||||
|
||||
my_design my_design_inst (
|
||||
.a (a),
|
||||
.b (b)
|
||||
|
|
|
|||
|
|
@ -13,7 +13,7 @@
|
|||
|
||||
(CELL
|
||||
(CELLTYPE "my_design")
|
||||
(INSTANCE)
|
||||
(INSTANCE)
|
||||
(DELAY
|
||||
(ABSOLUTE
|
||||
(INTERCONNECT a buffer0.in (0.000:0.010:0.000) (0.000:0.010:0.000))
|
||||
|
|
@ -32,7 +32,7 @@
|
|||
)
|
||||
)
|
||||
)
|
||||
|
||||
|
||||
(CELL
|
||||
(CELLTYPE "buffer")
|
||||
(INSTANCE buffer1)
|
||||
|
|
@ -42,7 +42,7 @@
|
|||
)
|
||||
)
|
||||
)
|
||||
|
||||
|
||||
(CELL
|
||||
(CELLTYPE "buffer")
|
||||
(INSTANCE buffer2)
|
||||
|
|
|
|||
|
|
@ -37,7 +37,7 @@ module my_design (
|
|||
.in (a),
|
||||
.out (w3)
|
||||
);
|
||||
|
||||
|
||||
assign b = w1 & w2 & w3;
|
||||
|
||||
endmodule
|
||||
|
|
@ -48,10 +48,10 @@ module top;
|
|||
$sdf_annotate("ivltests/sdf_interconnect2.sdf", my_design_inst);
|
||||
$monitor("time=%0t a=%h b=%h", $realtime, a, b);
|
||||
end
|
||||
|
||||
|
||||
reg a;
|
||||
wire b;
|
||||
|
||||
|
||||
initial begin
|
||||
#5;
|
||||
a <= 1'b0;
|
||||
|
|
@ -60,7 +60,7 @@ module top;
|
|||
#10;
|
||||
$finish;
|
||||
end
|
||||
|
||||
|
||||
my_design my_design_inst (
|
||||
.a (a),
|
||||
.b (b)
|
||||
|
|
|
|||
|
|
@ -13,7 +13,7 @@
|
|||
|
||||
(CELL
|
||||
(CELLTYPE "my_design")
|
||||
(INSTANCE)
|
||||
(INSTANCE)
|
||||
(DELAY
|
||||
(ABSOLUTE
|
||||
(INTERCONNECT a buffer0.in (0.000:0.010:0.000) (0.000:0.010:0.000))
|
||||
|
|
@ -42,7 +42,7 @@
|
|||
)
|
||||
)
|
||||
)
|
||||
|
||||
|
||||
(CELL
|
||||
(CELLTYPE "buffer")
|
||||
(INSTANCE buffer1)
|
||||
|
|
@ -52,7 +52,7 @@
|
|||
)
|
||||
)
|
||||
)
|
||||
|
||||
|
||||
(CELL
|
||||
(CELLTYPE "buffer")
|
||||
(INSTANCE buffer2)
|
||||
|
|
@ -62,7 +62,7 @@
|
|||
)
|
||||
)
|
||||
)
|
||||
|
||||
|
||||
(CELL
|
||||
(CELLTYPE "buffer")
|
||||
(INSTANCE buffer3)
|
||||
|
|
@ -72,7 +72,7 @@
|
|||
)
|
||||
)
|
||||
)
|
||||
|
||||
|
||||
(CELL
|
||||
(CELLTYPE "my_xor")
|
||||
(INSTANCE my_xor0)
|
||||
|
|
@ -83,7 +83,7 @@
|
|||
)
|
||||
)
|
||||
)
|
||||
|
||||
|
||||
(CELL
|
||||
(CELLTYPE "my_xor")
|
||||
(INSTANCE my_xor1)
|
||||
|
|
@ -94,7 +94,7 @@
|
|||
)
|
||||
)
|
||||
)
|
||||
|
||||
|
||||
(CELL
|
||||
(CELLTYPE "my_xor")
|
||||
(INSTANCE my_xor2)
|
||||
|
|
@ -105,7 +105,7 @@
|
|||
)
|
||||
)
|
||||
)
|
||||
|
||||
|
||||
(CELL
|
||||
(CELLTYPE "my_xor")
|
||||
(INSTANCE my_xor3)
|
||||
|
|
|
|||
|
|
@ -49,7 +49,7 @@ module my_design (
|
|||
.b (c),
|
||||
.out (w2)
|
||||
);
|
||||
|
||||
|
||||
my_xor my_xor1 (
|
||||
.a (w1),
|
||||
.b (b),
|
||||
|
|
@ -60,24 +60,24 @@ module my_design (
|
|||
.in (w2),
|
||||
.out (w4)
|
||||
);
|
||||
|
||||
|
||||
my_xor my_xor2 (
|
||||
.a (w3),
|
||||
.b (w4),
|
||||
.out (w5)
|
||||
);
|
||||
|
||||
|
||||
buffer buffer2 (
|
||||
.in (c),
|
||||
.out (w6)
|
||||
);
|
||||
|
||||
|
||||
my_xor my_xor3 (
|
||||
.a (w5),
|
||||
.b (w6),
|
||||
.out (w7)
|
||||
);
|
||||
|
||||
|
||||
buffer buffer3 (
|
||||
.in (w7),
|
||||
.out (d)
|
||||
|
|
@ -91,10 +91,10 @@ module top;
|
|||
$sdf_annotate("ivltests/sdf_interconnect3.sdf", my_design_inst);
|
||||
$monitor("time=%0t a=%h b=%h c=%h d=%h", $realtime, a, b, c, d);
|
||||
end
|
||||
|
||||
|
||||
reg a, b, c;
|
||||
wire d;
|
||||
|
||||
|
||||
initial begin
|
||||
#10;
|
||||
a <= 1'b0;
|
||||
|
|
@ -131,7 +131,7 @@ module top;
|
|||
#10;
|
||||
$finish;
|
||||
end
|
||||
|
||||
|
||||
my_design my_design_inst (
|
||||
.a (a),
|
||||
.b (b),
|
||||
|
|
|
|||
|
|
@ -14,11 +14,11 @@ initial begin
|
|||
assert(i == 0) $display("Check 8 : this shouldn't be displayed");
|
||||
else $display("Check 8 : this should be displayed");
|
||||
|
||||
a_i_is_non_0 : assert(i == 0)
|
||||
a_i_is_non_0 : assert(i == 0)
|
||||
$display("Check 9 : this shouldn't be displayed");
|
||||
else $error("Check 9 : this should be displayed");
|
||||
|
||||
a_i_is_1 : assert(i == 1)
|
||||
a_i_is_1 : assert(i == 1)
|
||||
$display("Check 10 : this should be displayed");
|
||||
else $error("Check 10 : this shouldn't be displayed i: %0d", i);
|
||||
|
||||
|
|
|
|||
|
|
@ -14,11 +14,11 @@ initial begin
|
|||
assume(i == 0) $display("Check 8 : this shouldn't be displayed");
|
||||
else $display("Check 8 : this should be displayed");
|
||||
|
||||
a_i_is_non_0 : assume(i == 0)
|
||||
a_i_is_non_0 : assume(i == 0)
|
||||
$display("Check 9 : this shouldn't be displayed");
|
||||
else $error("Check 9 : this should be displayed");
|
||||
|
||||
a_i_is_1 : assume(i == 1)
|
||||
a_i_is_1 : assume(i == 1)
|
||||
$display("Check 10 : this should be displayed");
|
||||
else $error("Check 10 : this shouldn't be displayed i: %0d", i);
|
||||
|
||||
|
|
|
|||
|
|
@ -27,9 +27,9 @@ module test;
|
|||
*/
|
||||
|
||||
endspecify
|
||||
|
||||
|
||||
initial begin
|
||||
|
||||
|
||||
if (del_sig1 == 1'b0 && del_sig2 == 1'b1 && del_sig3 == 1'b0 && del_sig4 == 1'b1)
|
||||
$display("PASSED");
|
||||
else
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@ module test;
|
|||
initial begin
|
||||
$display("PASSED");
|
||||
end
|
||||
|
||||
|
||||
wire sig1, sig2, del_sig1, del_sig2, notifier, cond1, cond2;
|
||||
|
||||
specify
|
||||
|
|
|
|||
Loading…
Reference in New Issue