mirror of https://github.com/YosysHQ/yosys.git
dfflegalize: Add tests.
This commit is contained in:
Marcelina Kościelnicka
parent
e3564b4502
commit
6b42819a37
|
|
@ -0,0 +1,103 @@
|
|||
read_verilog -icells <<EOT
|
||||
|
||||
module adff0(input C, R, D, output [2:0] Q);
|
||||
$_DFF_PP0_ ff0 (.C(C), .R(R), .D(D), .Q(Q[0]));
|
||||
$_DFF_PN0_ ff1 (.C(C), .R(R), .D(D), .Q(Q[1]));
|
||||
$_DFF_NP0_ ff2 (.C(C), .R(R), .D(D), .Q(Q[2]));
|
||||
endmodule
|
||||
|
||||
module adff1(input C, R, D, output [2:0] Q);
|
||||
$_DFF_PP1_ ff0 (.C(C), .R(R), .D(D), .Q(Q[0]));
|
||||
$_DFF_PN1_ ff1 (.C(C), .R(R), .D(D), .Q(Q[1]));
|
||||
$_DFF_NP1_ ff2 (.C(C), .R(R), .D(D), .Q(Q[2]));
|
||||
endmodule
|
||||
|
||||
module adffe0(input C, E, R, D, output [3:0] Q);
|
||||
$_DFFE_PP0P_ ff0 (.C(C), .R(R), .E(E), .D(D), .Q(Q[0]));
|
||||
$_DFFE_PP0N_ ff1 (.C(C), .R(R), .E(E), .D(D), .Q(Q[1]));
|
||||
$_DFFE_PN0P_ ff2 (.C(C), .R(R), .E(E), .D(D), .Q(Q[2]));
|
||||
$_DFFE_NP0P_ ff3 (.C(C), .R(R), .E(E), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
module adffe1(input C, E, R, D, output [3:0] Q);
|
||||
$_DFFE_PP1P_ ff0 (.C(C), .R(R), .E(E), .D(D), .Q(Q[0]));
|
||||
$_DFFE_PP1N_ ff1 (.C(C), .R(R), .E(E), .D(D), .Q(Q[1]));
|
||||
$_DFFE_PN1P_ ff2 (.C(C), .R(R), .E(E), .D(D), .Q(Q[2]));
|
||||
$_DFFE_NP1P_ ff3 (.C(C), .R(R), .E(E), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
module top(input C, E, R, D, output [13:0] Q);
|
||||
adff0 adff0_(.C(C), .R(R), .D(D), .Q(Q[2:0]));
|
||||
adff1 adff1_(.C(C), .R(R), .D(D), .Q(Q[5:3]));
|
||||
adffe0 adffe0_(.C(C), .R(R), .E(E), .D(D), .Q(Q[9:6]));
|
||||
adffe1 adffe1_(.C(C), .R(R), .E(E), .D(D), .Q(Q[13:10]));
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
design -save orig
|
||||
flatten
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_PP0_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP0P_ x
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSR_PPP_ x
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSRE_PPPP_ x
|
||||
|
||||
|
||||
# Convert everything to ADFFs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_PP0_ x
|
||||
|
||||
select -assert-count 2 adff0/t:$_NOT_
|
||||
select -assert-count 8 adff1/t:$_NOT_
|
||||
select -assert-count 2 adffe0/t:$_NOT_
|
||||
select -assert-count 10 adffe1/t:$_NOT_
|
||||
select -assert-count 0 adff0/t:$_MUX_
|
||||
select -assert-count 0 adff1/t:$_MUX_
|
||||
select -assert-count 4 adffe0/t:$_MUX_
|
||||
select -assert-count 4 adffe1/t:$_MUX_
|
||||
select -assert-count 14 t:$_DFF_PP0_
|
||||
select -assert-none t:$_DFF_PP0_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to ADFFEs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP0P_ x
|
||||
|
||||
select -assert-count 2 adff0/t:$_NOT_
|
||||
select -assert-count 8 adff1/t:$_NOT_
|
||||
select -assert-count 3 adffe0/t:$_NOT_
|
||||
select -assert-count 11 adffe1/t:$_NOT_
|
||||
select -assert-count 14 t:$_DFFE_PP0P_
|
||||
select -assert-none t:$_DFFE_PP0P_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFSRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSR_PPP_ x
|
||||
|
||||
select -assert-count 2 adff0/t:$_NOT_
|
||||
select -assert-count 2 adff1/t:$_NOT_
|
||||
select -assert-count 2 adffe0/t:$_NOT_
|
||||
select -assert-count 2 adffe1/t:$_NOT_
|
||||
select -assert-count 0 adff0/t:$_MUX_
|
||||
select -assert-count 0 adff1/t:$_MUX_
|
||||
select -assert-count 4 adffe0/t:$_MUX_
|
||||
select -assert-count 4 adffe1/t:$_MUX_
|
||||
select -assert-count 14 t:$_DFFSR_PPP_
|
||||
select -assert-none t:$_DFFSR_PPP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFSREs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSRE_PPPP_ x
|
||||
|
||||
select -assert-count 2 adff0/t:$_NOT_
|
||||
select -assert-count 2 adff1/t:$_NOT_
|
||||
select -assert-count 3 adffe0/t:$_NOT_
|
||||
select -assert-count 3 adffe1/t:$_NOT_
|
||||
select -assert-count 14 t:$_DFFSRE_PPPP_
|
||||
select -assert-none t:$_DFFSRE_PPPP_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
|
@ -0,0 +1,279 @@
|
|||
read_verilog -icells <<EOT
|
||||
|
||||
module adff0(input C, R, D, (* init = 3'b000 *) output [2:0] Q);
|
||||
$_DFF_PP0_ ff0 (.C(C), .R(R), .D(D), .Q(Q[0]));
|
||||
$_DFF_PN0_ ff1 (.C(C), .R(R), .D(D), .Q(Q[1]));
|
||||
$_DFF_NP0_ ff2 (.C(C), .R(R), .D(D), .Q(Q[2]));
|
||||
endmodule
|
||||
|
||||
module adff1(input C, R, D, (* init = 3'b000 *) output [2:0] Q);
|
||||
$_DFF_PP1_ ff0 (.C(C), .R(R), .D(D), .Q(Q[0]));
|
||||
$_DFF_PN1_ ff1 (.C(C), .R(R), .D(D), .Q(Q[1]));
|
||||
$_DFF_NP1_ ff2 (.C(C), .R(R), .D(D), .Q(Q[2]));
|
||||
endmodule
|
||||
|
||||
module adffe0(input C, E, R, D, (* init = 4'b0000 *) output [3:0] Q);
|
||||
$_DFFE_PP0P_ ff0 (.C(C), .R(R), .E(E), .D(D), .Q(Q[0]));
|
||||
$_DFFE_PP0N_ ff1 (.C(C), .R(R), .E(E), .D(D), .Q(Q[1]));
|
||||
$_DFFE_PN0P_ ff2 (.C(C), .R(R), .E(E), .D(D), .Q(Q[2]));
|
||||
$_DFFE_NP0P_ ff3 (.C(C), .R(R), .E(E), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
module adffe1(input C, E, R, D, (* init = 4'b0000 *) output [3:0] Q);
|
||||
$_DFFE_PP1P_ ff0 (.C(C), .R(R), .E(E), .D(D), .Q(Q[0]));
|
||||
$_DFFE_PP1N_ ff1 (.C(C), .R(R), .E(E), .D(D), .Q(Q[1]));
|
||||
$_DFFE_PN1P_ ff2 (.C(C), .R(R), .E(E), .D(D), .Q(Q[2]));
|
||||
$_DFFE_NP1P_ ff3 (.C(C), .R(R), .E(E), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
module top(input C, E, R, D, output [13:0] Q);
|
||||
adff0 adff0_(.C(C), .R(R), .D(D), .Q(Q[2:0]));
|
||||
adff1 adff1_(.C(C), .R(R), .D(D), .Q(Q[5:3]));
|
||||
adffe0 adffe0_(.C(C), .R(R), .E(E), .D(D), .Q(Q[9:6]));
|
||||
adffe1 adffe1_(.C(C), .R(R), .E(E), .D(D), .Q(Q[13:10]));
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
design -save orig
|
||||
flatten
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_PP0_ 0 -cell $_DLATCH_P_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_PP0_ 1 -cell $_DLATCH_P_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_PP1_ 0 -cell $_DLATCH_P_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_PP1_ 1 -cell $_DLATCH_P_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP0P_ 0 -cell $_DLATCH_P_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP0P_ 1 -cell $_DLATCH_P_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP1P_ 0 -cell $_DLATCH_P_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP1P_ 1 -cell $_DLATCH_P_ 1
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSR_PPP_ 0
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSR_PPP_ 1
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSRE_PPPP_ 0
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSRE_PPPP_ 1
|
||||
|
||||
|
||||
# Convert everything to ADFFs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_PP0_ 0 -cell $_DLATCH_P_ 0
|
||||
|
||||
select -assert-count 2 adff0/t:$_NOT_
|
||||
select -assert-count 10 adff1/t:$_NOT_
|
||||
select -assert-count 2 adffe0/t:$_NOT_
|
||||
select -assert-count 12 adffe1/t:$_NOT_
|
||||
select -assert-count 0 adff0/t:$_MUX_
|
||||
select -assert-count 3 adff1/t:$_MUX_
|
||||
select -assert-count 4 adffe0/t:$_MUX_
|
||||
select -assert-count 8 adffe1/t:$_MUX_
|
||||
select -assert-count 3 adff0/t:$_DFF_PP0_
|
||||
select -assert-count 6 adff1/t:$_DFF_PP0_
|
||||
select -assert-count 4 adffe0/t:$_DFF_PP0_
|
||||
select -assert-count 8 adffe1/t:$_DFF_PP0_
|
||||
select -assert-count 0 adff0/t:$_DLATCH_P_
|
||||
select -assert-count 3 adff1/t:$_DLATCH_P_
|
||||
select -assert-count 0 adffe0/t:$_DLATCH_P_
|
||||
select -assert-count 4 adffe1/t:$_DLATCH_P_
|
||||
select -assert-none t:$_DFF_PP0_ t:$_DLATCH_P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_PP0_ 1 -cell $_DLATCH_P_ 0
|
||||
|
||||
select -assert-count 10 adff0/t:$_NOT_
|
||||
select -assert-count 8 adff1/t:$_NOT_
|
||||
select -assert-count 12 adffe0/t:$_NOT_
|
||||
select -assert-count 10 adffe1/t:$_NOT_
|
||||
select -assert-count 3 adff0/t:$_MUX_
|
||||
select -assert-count 0 adff1/t:$_MUX_
|
||||
select -assert-count 8 adffe0/t:$_MUX_
|
||||
select -assert-count 4 adffe1/t:$_MUX_
|
||||
select -assert-count 6 adff0/t:$_DFF_PP0_
|
||||
select -assert-count 3 adff1/t:$_DFF_PP0_
|
||||
select -assert-count 8 adffe0/t:$_DFF_PP0_
|
||||
select -assert-count 4 adffe1/t:$_DFF_PP0_
|
||||
select -assert-count 3 adff0/t:$_DLATCH_P_
|
||||
select -assert-count 0 adff1/t:$_DLATCH_P_
|
||||
select -assert-count 4 adffe0/t:$_DLATCH_P_
|
||||
select -assert-count 0 adffe1/t:$_DLATCH_P_
|
||||
select -assert-none t:$_DFF_PP0_ t:$_DLATCH_P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_PP1_ 0 -cell $_DLATCH_P_ 0
|
||||
|
||||
select -assert-count 10 adff0/t:$_NOT_
|
||||
select -assert-count 2 adff1/t:$_NOT_
|
||||
select -assert-count 12 adffe0/t:$_NOT_
|
||||
select -assert-count 2 adffe1/t:$_NOT_
|
||||
select -assert-count 3 adff0/t:$_MUX_
|
||||
select -assert-count 0 adff1/t:$_MUX_
|
||||
select -assert-count 8 adffe0/t:$_MUX_
|
||||
select -assert-count 4 adffe1/t:$_MUX_
|
||||
select -assert-count 6 adff0/t:$_DFF_PP1_
|
||||
select -assert-count 3 adff1/t:$_DFF_PP1_
|
||||
select -assert-count 8 adffe0/t:$_DFF_PP1_
|
||||
select -assert-count 4 adffe1/t:$_DFF_PP1_
|
||||
select -assert-count 3 adff0/t:$_DLATCH_P_
|
||||
select -assert-count 0 adff1/t:$_DLATCH_P_
|
||||
select -assert-count 4 adffe0/t:$_DLATCH_P_
|
||||
select -assert-count 0 adffe1/t:$_DLATCH_P_
|
||||
select -assert-none t:$_DFF_PP1_ t:$_DLATCH_P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_PP1_ 1 -cell $_DLATCH_P_ 0
|
||||
|
||||
select -assert-count 8 adff0/t:$_NOT_
|
||||
select -assert-count 10 adff1/t:$_NOT_
|
||||
select -assert-count 10 adffe0/t:$_NOT_
|
||||
select -assert-count 12 adffe1/t:$_NOT_
|
||||
select -assert-count 0 adff0/t:$_MUX_
|
||||
select -assert-count 3 adff1/t:$_MUX_
|
||||
select -assert-count 4 adffe0/t:$_MUX_
|
||||
select -assert-count 8 adffe1/t:$_MUX_
|
||||
select -assert-count 3 adff0/t:$_DFF_PP1_
|
||||
select -assert-count 6 adff1/t:$_DFF_PP1_
|
||||
select -assert-count 4 adffe0/t:$_DFF_PP1_
|
||||
select -assert-count 8 adffe1/t:$_DFF_PP1_
|
||||
select -assert-count 0 adff0/t:$_DLATCH_P_
|
||||
select -assert-count 3 adff1/t:$_DLATCH_P_
|
||||
select -assert-count 0 adffe0/t:$_DLATCH_P_
|
||||
select -assert-count 4 adffe1/t:$_DLATCH_P_
|
||||
select -assert-none t:$_DFF_PP1_ t:$_DLATCH_P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to ADFFEs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP0P_ 0 -cell $_DLATCH_P_ 1
|
||||
|
||||
select -assert-count 2 adff0/t:$_NOT_
|
||||
select -assert-count 16 adff1/t:$_NOT_
|
||||
select -assert-count 3 adffe0/t:$_NOT_
|
||||
select -assert-count 22 adffe1/t:$_NOT_
|
||||
select -assert-count 0 adff0/t:$_MUX_
|
||||
select -assert-count 3 adff1/t:$_MUX_
|
||||
select -assert-count 0 adffe0/t:$_MUX_
|
||||
select -assert-count 4 adffe1/t:$_MUX_
|
||||
select -assert-count 3 adff0/t:$_DFFE_PP0P_
|
||||
select -assert-count 6 adff1/t:$_DFFE_PP0P_
|
||||
select -assert-count 4 adffe0/t:$_DFFE_PP0P_
|
||||
select -assert-count 8 adffe1/t:$_DFFE_PP0P_
|
||||
select -assert-count 0 adff0/t:$_DLATCH_P_
|
||||
select -assert-count 3 adff1/t:$_DLATCH_P_
|
||||
select -assert-count 0 adffe0/t:$_DLATCH_P_
|
||||
select -assert-count 4 adffe1/t:$_DLATCH_P_
|
||||
select -assert-none t:$_DFFE_PP0P_ t:$_DLATCH_P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP0P_ 1 -cell $_DLATCH_P_ 1
|
||||
|
||||
select -assert-count 16 adff0/t:$_NOT_
|
||||
select -assert-count 8 adff1/t:$_NOT_
|
||||
select -assert-count 22 adffe0/t:$_NOT_
|
||||
select -assert-count 11 adffe1/t:$_NOT_
|
||||
select -assert-count 3 adff0/t:$_MUX_
|
||||
select -assert-count 0 adff1/t:$_MUX_
|
||||
select -assert-count 4 adffe0/t:$_MUX_
|
||||
select -assert-count 0 adffe1/t:$_MUX_
|
||||
select -assert-count 6 adff0/t:$_DFFE_PP0P_
|
||||
select -assert-count 3 adff1/t:$_DFFE_PP0P_
|
||||
select -assert-count 8 adffe0/t:$_DFFE_PP0P_
|
||||
select -assert-count 4 adffe1/t:$_DFFE_PP0P_
|
||||
select -assert-count 3 adff0/t:$_DLATCH_P_
|
||||
select -assert-count 0 adff1/t:$_DLATCH_P_
|
||||
select -assert-count 4 adffe0/t:$_DLATCH_P_
|
||||
select -assert-count 0 adffe1/t:$_DLATCH_P_
|
||||
select -assert-none t:$_DFFE_PP0P_ t:$_DLATCH_P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP1P_ 0 -cell $_DLATCH_P_ 1
|
||||
|
||||
select -assert-count 16 adff0/t:$_NOT_
|
||||
select -assert-count 2 adff1/t:$_NOT_
|
||||
select -assert-count 22 adffe0/t:$_NOT_
|
||||
select -assert-count 3 adffe1/t:$_NOT_
|
||||
select -assert-count 3 adff0/t:$_MUX_
|
||||
select -assert-count 0 adff1/t:$_MUX_
|
||||
select -assert-count 4 adffe0/t:$_MUX_
|
||||
select -assert-count 0 adffe1/t:$_MUX_
|
||||
select -assert-count 6 adff0/t:$_DFFE_PP1P_
|
||||
select -assert-count 3 adff1/t:$_DFFE_PP1P_
|
||||
select -assert-count 8 adffe0/t:$_DFFE_PP1P_
|
||||
select -assert-count 4 adffe1/t:$_DFFE_PP1P_
|
||||
select -assert-count 3 adff0/t:$_DLATCH_P_
|
||||
select -assert-count 0 adff1/t:$_DLATCH_P_
|
||||
select -assert-count 4 adffe0/t:$_DLATCH_P_
|
||||
select -assert-count 0 adffe1/t:$_DLATCH_P_
|
||||
select -assert-none t:$_DFFE_PP1P_ t:$_DLATCH_P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP1P_ 1 -cell $_DLATCH_P_ 1
|
||||
|
||||
select -assert-count 8 adff0/t:$_NOT_
|
||||
select -assert-count 16 adff1/t:$_NOT_
|
||||
select -assert-count 11 adffe0/t:$_NOT_
|
||||
select -assert-count 22 adffe1/t:$_NOT_
|
||||
select -assert-count 0 adff0/t:$_MUX_
|
||||
select -assert-count 3 adff1/t:$_MUX_
|
||||
select -assert-count 0 adffe0/t:$_MUX_
|
||||
select -assert-count 4 adffe1/t:$_MUX_
|
||||
select -assert-count 3 adff0/t:$_DFFE_PP1P_
|
||||
select -assert-count 6 adff1/t:$_DFFE_PP1P_
|
||||
select -assert-count 4 adffe0/t:$_DFFE_PP1P_
|
||||
select -assert-count 8 adffe1/t:$_DFFE_PP1P_
|
||||
select -assert-count 0 adff0/t:$_DLATCH_P_
|
||||
select -assert-count 3 adff1/t:$_DLATCH_P_
|
||||
select -assert-count 0 adffe0/t:$_DLATCH_P_
|
||||
select -assert-count 4 adffe1/t:$_DLATCH_P_
|
||||
select -assert-none t:$_DFFE_PP1P_ t:$_DLATCH_P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFSRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSR_PPP_ 0
|
||||
|
||||
select -assert-count 2 adff0/t:$_NOT_
|
||||
select -assert-count 2 adff1/t:$_NOT_
|
||||
select -assert-count 2 adffe0/t:$_NOT_
|
||||
select -assert-count 2 adffe1/t:$_NOT_
|
||||
select -assert-count 0 adff0/t:$_MUX_
|
||||
select -assert-count 0 adff1/t:$_MUX_
|
||||
select -assert-count 4 adffe0/t:$_MUX_
|
||||
select -assert-count 4 adffe1/t:$_MUX_
|
||||
select -assert-count 14 t:$_DFFSR_PPP_
|
||||
select -assert-none t:$_DFFSR_PPP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSR_PPP_ 1
|
||||
|
||||
select -assert-count 8 adff0/t:$_NOT_
|
||||
select -assert-count 8 adff1/t:$_NOT_
|
||||
select -assert-count 10 adffe0/t:$_NOT_
|
||||
select -assert-count 10 adffe1/t:$_NOT_
|
||||
select -assert-count 0 adff0/t:$_MUX_
|
||||
select -assert-count 0 adff1/t:$_MUX_
|
||||
select -assert-count 4 adffe0/t:$_MUX_
|
||||
select -assert-count 4 adffe1/t:$_MUX_
|
||||
select -assert-count 14 t:$_DFFSR_PPP_
|
||||
select -assert-none t:$_DFFSR_PPP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFSREs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSRE_PPPP_ 0
|
||||
|
||||
select -assert-count 2 adff0/t:$_NOT_
|
||||
select -assert-count 2 adff1/t:$_NOT_
|
||||
select -assert-count 3 adffe0/t:$_NOT_
|
||||
select -assert-count 3 adffe1/t:$_NOT_
|
||||
select -assert-count 14 t:$_DFFSRE_PPPP_
|
||||
select -assert-none t:$_DFFSRE_PPPP_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSRE_PPPP_ 1
|
||||
|
||||
select -assert-count 8 adff0/t:$_NOT_
|
||||
select -assert-count 8 adff1/t:$_NOT_
|
||||
select -assert-count 11 adffe0/t:$_NOT_
|
||||
select -assert-count 11 adffe1/t:$_NOT_
|
||||
select -assert-count 14 t:$_DFFSRE_PPPP_
|
||||
select -assert-none t:$_DFFSRE_PPPP_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
|
@ -0,0 +1,51 @@
|
|||
read_verilog -icells <<EOT
|
||||
|
||||
module adlatch0(input E, R, D, output [2:0] Q);
|
||||
$_DLATCH_PP0_ ff0 (.E(E), .R(R), .D(D), .Q(Q[0]));
|
||||
$_DLATCH_PN0_ ff1 (.E(E), .R(R), .D(D), .Q(Q[1]));
|
||||
$_DLATCH_NP0_ ff2 (.E(E), .R(R), .D(D), .Q(Q[2]));
|
||||
endmodule
|
||||
|
||||
module adlatch1(input E, R, D, output [2:0] Q);
|
||||
$_DLATCH_PP1_ ff0 (.E(E), .R(R), .D(D), .Q(Q[0]));
|
||||
$_DLATCH_PN1_ ff1 (.E(E), .R(R), .D(D), .Q(Q[1]));
|
||||
$_DLATCH_NP1_ ff2 (.E(E), .R(R), .D(D), .Q(Q[2]));
|
||||
endmodule
|
||||
|
||||
module top(input C, E, R, D, output [13:0] Q);
|
||||
adlatch0 adlatch0_(.E(E), .R(R), .D(D), .Q(Q[2:0]));
|
||||
adlatch1 adlatch1_(.E(E), .R(R), .D(D), .Q(Q[5:3]));
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
design -save orig
|
||||
flatten
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP0_ x
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCHSR_PPP_ x
|
||||
|
||||
|
||||
# Convert everything to ADLATCHs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP0_ x
|
||||
|
||||
select -assert-count 2 adlatch0/t:$_NOT_
|
||||
select -assert-count 8 adlatch1/t:$_NOT_
|
||||
select -assert-count 0 adlatch0/t:$_MUX_
|
||||
select -assert-count 0 adlatch1/t:$_MUX_
|
||||
select -assert-count 6 t:$_DLATCH_PP0_
|
||||
select -assert-none t:$_DLATCH_PP0_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DLATCHSRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCHSR_PPP_ x
|
||||
|
||||
select -assert-count 2 adlatch0/t:$_NOT_
|
||||
select -assert-count 2 adlatch1/t:$_NOT_
|
||||
select -assert-count 0 adlatch0/t:$_MUX_
|
||||
select -assert-count 0 adlatch1/t:$_MUX_
|
||||
select -assert-count 6 t:$_DLATCHSR_PPP_
|
||||
select -assert-none t:$_DLATCHSR_PPP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
|
@ -0,0 +1,99 @@
|
|||
read_verilog -icells <<EOT
|
||||
|
||||
module adlatch0(input E, R, D, (* init = 3'b000 *) output [2:0] Q);
|
||||
$_DLATCH_PP0_ ff0 (.E(E), .R(R), .D(D), .Q(Q[0]));
|
||||
$_DLATCH_PN0_ ff1 (.E(E), .R(R), .D(D), .Q(Q[1]));
|
||||
$_DLATCH_NP0_ ff2 (.E(E), .R(R), .D(D), .Q(Q[2]));
|
||||
endmodule
|
||||
|
||||
module adlatch1(input E, R, D, (* init = 3'b000 *) output [2:0] Q);
|
||||
$_DLATCH_PP1_ ff0 (.E(E), .R(R), .D(D), .Q(Q[0]));
|
||||
$_DLATCH_PN1_ ff1 (.E(E), .R(R), .D(D), .Q(Q[1]));
|
||||
$_DLATCH_NP1_ ff2 (.E(E), .R(R), .D(D), .Q(Q[2]));
|
||||
endmodule
|
||||
|
||||
module top(input C, E, R, D, output [13:0] Q);
|
||||
adlatch0 adlatch0_(.E(E), .R(R), .D(D), .Q(Q[2:0]));
|
||||
adlatch1 adlatch1_(.E(E), .R(R), .D(D), .Q(Q[5:3]));
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
design -save orig
|
||||
flatten
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP0_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP0_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP1_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP1_ 1
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCHSR_PPP_ 0
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCHSR_PPP_ 1
|
||||
|
||||
|
||||
# Convert everything to ADLATCHs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP0_ 0
|
||||
|
||||
select -assert-count 2 adlatch0/t:$_NOT_
|
||||
select -assert-count 10 adlatch1/t:$_NOT_
|
||||
select -assert-count 0 adlatch0/t:$_MUX_
|
||||
select -assert-count 3 adlatch1/t:$_MUX_
|
||||
select -assert-count 3 adlatch0/t:$_DLATCH_PP0_
|
||||
select -assert-count 9 adlatch1/t:$_DLATCH_PP0_
|
||||
select -assert-none t:$_DLATCH_PP0_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP0_ 1
|
||||
|
||||
select -assert-count 16 adlatch0/t:$_NOT_
|
||||
select -assert-count 8 adlatch1/t:$_NOT_
|
||||
select -assert-count 3 adlatch0/t:$_MUX_
|
||||
select -assert-count 0 adlatch1/t:$_MUX_
|
||||
select -assert-count 9 adlatch0/t:$_DLATCH_PP0_
|
||||
select -assert-count 3 adlatch1/t:$_DLATCH_PP0_
|
||||
select -assert-none t:$_DLATCH_PP0_ t:$_DLATCH_P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP1_ 0
|
||||
|
||||
select -assert-count 10 adlatch0/t:$_NOT_
|
||||
select -assert-count 2 adlatch1/t:$_NOT_
|
||||
select -assert-count 3 adlatch0/t:$_MUX_
|
||||
select -assert-count 0 adlatch1/t:$_MUX_
|
||||
select -assert-count 9 adlatch0/t:$_DLATCH_PP1_
|
||||
select -assert-count 3 adlatch1/t:$_DLATCH_PP1_
|
||||
select -assert-none t:$_DLATCH_PP1_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP1_ 1
|
||||
|
||||
select -assert-count 8 adlatch0/t:$_NOT_
|
||||
select -assert-count 16 adlatch1/t:$_NOT_
|
||||
select -assert-count 0 adlatch0/t:$_MUX_
|
||||
select -assert-count 3 adlatch1/t:$_MUX_
|
||||
select -assert-count 3 adlatch0/t:$_DLATCH_PP1_
|
||||
select -assert-count 9 adlatch1/t:$_DLATCH_PP1_
|
||||
select -assert-none t:$_DLATCH_PP1_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DLATCHSRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCHSR_PPP_ 0
|
||||
|
||||
select -assert-count 2 adlatch0/t:$_NOT_
|
||||
select -assert-count 2 adlatch1/t:$_NOT_
|
||||
select -assert-count 0 adlatch0/t:$_MUX_
|
||||
select -assert-count 0 adlatch1/t:$_MUX_
|
||||
select -assert-count 6 t:$_DLATCHSR_PPP_
|
||||
select -assert-none t:$_DLATCHSR_PPP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCHSR_PPP_ 1
|
||||
|
||||
select -assert-count 8 adlatch0/t:$_NOT_
|
||||
select -assert-count 8 adlatch1/t:$_NOT_
|
||||
select -assert-count 0 adlatch0/t:$_MUX_
|
||||
select -assert-count 0 adlatch1/t:$_MUX_
|
||||
select -assert-count 6 t:$_DLATCHSR_PPP_
|
||||
select -assert-none t:$_DLATCHSR_PPP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
|
@ -0,0 +1,306 @@
|
|||
read_verilog -icells <<EOT
|
||||
|
||||
module dff(input C, D, output [1:0] Q);
|
||||
$_DFF_P_ ff0 (.C(C), .D(D), .Q(Q[0]));
|
||||
$_DFF_N_ ff1 (.C(C), .D(D), .Q(Q[1]));
|
||||
endmodule
|
||||
|
||||
module dffe(input C, E, D, output [2:0] Q);
|
||||
$_DFFE_PP_ ff0 (.C(C), .E(E), .D(D), .Q(Q[0]));
|
||||
$_DFFE_PN_ ff1 (.C(C), .E(E), .D(D), .Q(Q[1]));
|
||||
$_DFFE_NP_ ff2 (.C(C), .E(E), .D(D), .Q(Q[2]));
|
||||
endmodule
|
||||
|
||||
module sdff0(input C, R, D, output [2:0] Q);
|
||||
$_SDFF_PP0_ ff0 (.C(C), .R(R), .D(D), .Q(Q[0]));
|
||||
$_SDFF_PN0_ ff1 (.C(C), .R(R), .D(D), .Q(Q[1]));
|
||||
$_SDFF_NP0_ ff2 (.C(C), .R(R), .D(D), .Q(Q[2]));
|
||||
endmodule
|
||||
|
||||
module sdff1(input C, R, D, output [2:0] Q);
|
||||
$_SDFF_PP1_ ff0 (.C(C), .R(R), .D(D), .Q(Q[0]));
|
||||
$_SDFF_PN1_ ff1 (.C(C), .R(R), .D(D), .Q(Q[1]));
|
||||
$_SDFF_NP1_ ff2 (.C(C), .R(R), .D(D), .Q(Q[2]));
|
||||
endmodule
|
||||
|
||||
module sdffe0(input C, E, R, D, output [3:0] Q);
|
||||
$_SDFFE_PP0P_ ff0 (.C(C), .R(R), .E(E), .D(D), .Q(Q[0]));
|
||||
$_SDFFE_PP0N_ ff1 (.C(C), .R(R), .E(E), .D(D), .Q(Q[1]));
|
||||
$_SDFFE_PN0P_ ff2 (.C(C), .R(R), .E(E), .D(D), .Q(Q[2]));
|
||||
$_SDFFE_NP0P_ ff3 (.C(C), .R(R), .E(E), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
module sdffe1(input C, E, R, D, output [3:0] Q);
|
||||
$_SDFFE_PP1P_ ff0 (.C(C), .R(R), .E(E), .D(D), .Q(Q[0]));
|
||||
$_SDFFE_PP1N_ ff1 (.C(C), .R(R), .E(E), .D(D), .Q(Q[1]));
|
||||
$_SDFFE_PN1P_ ff2 (.C(C), .R(R), .E(E), .D(D), .Q(Q[2]));
|
||||
$_SDFFE_NP1P_ ff3 (.C(C), .R(R), .E(E), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
module sdffce0(input C, E, R, D, output [3:0] Q);
|
||||
$_SDFFCE_PP0P_ ff0 (.C(C), .R(R), .E(E), .D(D), .Q(Q[0]));
|
||||
$_SDFFCE_PP0N_ ff1 (.C(C), .R(R), .E(E), .D(D), .Q(Q[1]));
|
||||
$_SDFFCE_PN0P_ ff2 (.C(C), .R(R), .E(E), .D(D), .Q(Q[2]));
|
||||
$_SDFFCE_NP0P_ ff3 (.C(C), .R(R), .E(E), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
module sdffce1(input C, E, R, D, output [3:0] Q);
|
||||
$_SDFFCE_PP1P_ ff0 (.C(C), .R(R), .E(E), .D(D), .Q(Q[0]));
|
||||
$_SDFFCE_PP1N_ ff1 (.C(C), .R(R), .E(E), .D(D), .Q(Q[1]));
|
||||
$_SDFFCE_PN1P_ ff2 (.C(C), .R(R), .E(E), .D(D), .Q(Q[2]));
|
||||
$_SDFFCE_NP1P_ ff3 (.C(C), .R(R), .E(E), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
module top(input C, E, R, D, output [26:0] Q);
|
||||
dff dff_(.C(C), .D(D), .Q(Q[1:0]));
|
||||
dffe dffe_(.C(C), .E(E), .D(D), .Q(Q[4:2]));
|
||||
sdff0 sdff0_(.C(C), .R(R), .D(D), .Q(Q[7:5]));
|
||||
sdff1 sdff1_(.C(C), .R(R), .D(D), .Q(Q[10:8]));
|
||||
sdffe0 sdffe0_(.C(C), .R(R), .E(E), .D(D), .Q(Q[14:11]));
|
||||
sdffe1 sdffe1_(.C(C), .R(R), .E(E), .D(D), .Q(Q[18:15]));
|
||||
sdffce0 sdffce0_(.C(C), .R(R), .E(E), .D(D), .Q(Q[22:19]));
|
||||
sdffce1 sdffce1_(.C(C), .R(R), .E(E), .D(D), .Q(Q[26:23]));
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
design -save orig
|
||||
flatten
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_P_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_PP0_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP0P_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSR_PPP_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSRE_PPPP_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFF_PP0_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFFE_PP0P_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFFCE_PP0P_ x
|
||||
|
||||
# Convert everything to DFFs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_P_ x
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 1 dffe/t:$_NOT_
|
||||
select -assert-count 1 sdff0/t:$_NOT_
|
||||
select -assert-count 1 sdff1/t:$_NOT_
|
||||
select -assert-count 1 sdffe0/t:$_NOT_
|
||||
select -assert-count 1 sdffe1/t:$_NOT_
|
||||
select -assert-count 1 sdffce0/t:$_NOT_
|
||||
select -assert-count 1 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 3 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 8 sdffce0/t:$_MUX_
|
||||
select -assert-count 8 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFF_P_
|
||||
select -assert-none t:$_DFF_P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFEs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP_ x
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 2 dffe/t:$_NOT_
|
||||
select -assert-count 1 sdff0/t:$_NOT_
|
||||
select -assert-count 1 sdff1/t:$_NOT_
|
||||
select -assert-count 1 sdffe0/t:$_NOT_
|
||||
select -assert-count 1 sdffe1/t:$_NOT_
|
||||
select -assert-count 2 sdffce0/t:$_NOT_
|
||||
select -assert-count 2 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFFE_PP_
|
||||
select -assert-none t:$_DFFE_PP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to ADFFs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_PP0_ x
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 1 dffe/t:$_NOT_
|
||||
select -assert-count 1 sdff0/t:$_NOT_
|
||||
select -assert-count 1 sdff1/t:$_NOT_
|
||||
select -assert-count 1 sdffe0/t:$_NOT_
|
||||
select -assert-count 1 sdffe1/t:$_NOT_
|
||||
select -assert-count 1 sdffce0/t:$_NOT_
|
||||
select -assert-count 1 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 3 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 8 sdffce0/t:$_MUX_
|
||||
select -assert-count 8 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFF_PP0_
|
||||
select -assert-none t:$_DFF_PP0_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to ADFFEs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP0P_ x
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 2 dffe/t:$_NOT_
|
||||
select -assert-count 1 sdff0/t:$_NOT_
|
||||
select -assert-count 1 sdff1/t:$_NOT_
|
||||
select -assert-count 1 sdffe0/t:$_NOT_
|
||||
select -assert-count 1 sdffe1/t:$_NOT_
|
||||
select -assert-count 2 sdffce0/t:$_NOT_
|
||||
select -assert-count 2 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFFE_PP0P_
|
||||
select -assert-none t:$_DFFE_PP0P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFSRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSR_PPP_ x
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 1 dffe/t:$_NOT_
|
||||
select -assert-count 1 sdff0/t:$_NOT_
|
||||
select -assert-count 1 sdff1/t:$_NOT_
|
||||
select -assert-count 1 sdffe0/t:$_NOT_
|
||||
select -assert-count 1 sdffe1/t:$_NOT_
|
||||
select -assert-count 1 sdffce0/t:$_NOT_
|
||||
select -assert-count 1 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 3 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 8 sdffce0/t:$_MUX_
|
||||
select -assert-count 8 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFFSR_PPP_
|
||||
select -assert-none t:$_DFFSR_PPP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFSREs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSRE_PPPP_ x
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 2 dffe/t:$_NOT_
|
||||
select -assert-count 1 sdff0/t:$_NOT_
|
||||
select -assert-count 1 sdff1/t:$_NOT_
|
||||
select -assert-count 1 sdffe0/t:$_NOT_
|
||||
select -assert-count 1 sdffe1/t:$_NOT_
|
||||
select -assert-count 2 sdffce0/t:$_NOT_
|
||||
select -assert-count 2 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFFSRE_PPPP_
|
||||
select -assert-none t:$_DFFSRE_PPPP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to SDFFs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SDFF_PP0_ x
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 1 dffe/t:$_NOT_
|
||||
select -assert-count 2 sdff0/t:$_NOT_
|
||||
select -assert-count 8 sdff1/t:$_NOT_
|
||||
select -assert-count 2 sdffe0/t:$_NOT_
|
||||
select -assert-count 10 sdffe1/t:$_NOT_
|
||||
select -assert-count 2 sdffce0/t:$_NOT_
|
||||
select -assert-count 10 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 3 dffe/t:$_MUX_
|
||||
select -assert-count 0 sdff0/t:$_MUX_
|
||||
select -assert-count 0 sdff1/t:$_MUX_
|
||||
select -assert-count 4 sdffe0/t:$_MUX_
|
||||
select -assert-count 4 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 0 t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ %% sdffce0/* sdffce1/* %u %n %i
|
||||
select -assert-count 2 sdffce0/t:$_AND_
|
||||
select -assert-count 2 sdffce1/t:$_AND_
|
||||
select -assert-count 1 sdffce0/t:$_ORNOT_
|
||||
select -assert-count 1 sdffce1/t:$_ORNOT_
|
||||
select -assert-count 1 sdffce0/t:$_ANDNOT_
|
||||
select -assert-count 1 sdffce1/t:$_ANDNOT_
|
||||
select -assert-count 27 t:$_SDFF_PP0_
|
||||
select -assert-none t:$_SDFF_PP0_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to SDFFEs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SDFFE_PP0P_ x
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 2 dffe/t:$_NOT_
|
||||
select -assert-count 2 sdff0/t:$_NOT_
|
||||
select -assert-count 8 sdff1/t:$_NOT_
|
||||
select -assert-count 3 sdffe0/t:$_NOT_
|
||||
select -assert-count 11 sdffe1/t:$_NOT_
|
||||
select -assert-count 3 sdffce0/t:$_NOT_
|
||||
select -assert-count 11 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ %% sdffce0/* sdffce1/* %u %n %i
|
||||
select -assert-count 2 sdffce0/t:$_AND_
|
||||
select -assert-count 2 sdffce1/t:$_AND_
|
||||
select -assert-count 1 sdffce0/t:$_ORNOT_
|
||||
select -assert-count 1 sdffce1/t:$_ORNOT_
|
||||
select -assert-count 1 sdffce0/t:$_ANDNOT_
|
||||
select -assert-count 1 sdffce1/t:$_ANDNOT_
|
||||
select -assert-count 27 t:$_SDFFE_PP0P_
|
||||
select -assert-none t:$_SDFFE_PP0P_ t:$_NOT_ t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to SDFFCEs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SDFFCE_PP0P_ x
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 2 dffe/t:$_NOT_
|
||||
select -assert-count 2 sdff0/t:$_NOT_
|
||||
select -assert-count 8 sdff1/t:$_NOT_
|
||||
select -assert-count 3 sdffe0/t:$_NOT_
|
||||
select -assert-count 11 sdffe1/t:$_NOT_
|
||||
select -assert-count 3 sdffce0/t:$_NOT_
|
||||
select -assert-count 11 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 t:$_OR_ t:$_ORNOT_ t:$_ANDNOT_ %% sdffe0/* sdffe1/* %u %n %i
|
||||
select -assert-count 2 sdffe0/t:$_OR_
|
||||
select -assert-count 2 sdffe1/t:$_OR_
|
||||
select -assert-count 1 sdffe0/t:$_ORNOT_
|
||||
select -assert-count 1 sdffe1/t:$_ORNOT_
|
||||
select -assert-count 1 sdffe0/t:$_ANDNOT_
|
||||
select -assert-count 1 sdffe1/t:$_ANDNOT_
|
||||
select -assert-count 27 t:$_SDFFCE_PP0P_
|
||||
select -assert-none t:$_SDFFCE_PP0P_ t:$_NOT_ t:$_OR_ t:$_ORNOT_ t:$_ANDNOT_ top/* %% %n t:* %i
|
||||
|
|
@ -0,0 +1,786 @@
|
|||
read_verilog -icells <<EOT
|
||||
|
||||
module dff(input C, D, (* init = 2'b00 *) output [1:0] Q);
|
||||
$_DFF_P_ ff0 (.C(C), .D(D), .Q(Q[0]));
|
||||
$_DFF_N_ ff1 (.C(C), .D(D), .Q(Q[1]));
|
||||
endmodule
|
||||
|
||||
module dffe(input C, E, D, (* init = 3'b000 *) output [2:0] Q);
|
||||
$_DFFE_PP_ ff0 (.C(C), .E(E), .D(D), .Q(Q[0]));
|
||||
$_DFFE_PN_ ff1 (.C(C), .E(E), .D(D), .Q(Q[1]));
|
||||
$_DFFE_NP_ ff2 (.C(C), .E(E), .D(D), .Q(Q[2]));
|
||||
endmodule
|
||||
|
||||
module sdff0(input C, R, D, (* init = 3'b000 *) output [2:0] Q);
|
||||
$_SDFF_PP0_ ff0 (.C(C), .R(R), .D(D), .Q(Q[0]));
|
||||
$_SDFF_PN0_ ff1 (.C(C), .R(R), .D(D), .Q(Q[1]));
|
||||
$_SDFF_NP0_ ff2 (.C(C), .R(R), .D(D), .Q(Q[2]));
|
||||
endmodule
|
||||
|
||||
module sdff1(input C, R, D, (* init = 3'b000 *) output [2:0] Q);
|
||||
$_SDFF_PP1_ ff0 (.C(C), .R(R), .D(D), .Q(Q[0]));
|
||||
$_SDFF_PN1_ ff1 (.C(C), .R(R), .D(D), .Q(Q[1]));
|
||||
$_SDFF_NP1_ ff2 (.C(C), .R(R), .D(D), .Q(Q[2]));
|
||||
endmodule
|
||||
|
||||
module sdffe0(input C, E, R, D, (* init = 4'b0000 *) output [3:0] Q);
|
||||
$_SDFFE_PP0P_ ff0 (.C(C), .R(R), .E(E), .D(D), .Q(Q[0]));
|
||||
$_SDFFE_PP0N_ ff1 (.C(C), .R(R), .E(E), .D(D), .Q(Q[1]));
|
||||
$_SDFFE_PN0P_ ff2 (.C(C), .R(R), .E(E), .D(D), .Q(Q[2]));
|
||||
$_SDFFE_NP0P_ ff3 (.C(C), .R(R), .E(E), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
module sdffe1(input C, E, R, D, (* init = 4'b0000 *) output [3:0] Q);
|
||||
$_SDFFE_PP1P_ ff0 (.C(C), .R(R), .E(E), .D(D), .Q(Q[0]));
|
||||
$_SDFFE_PP1N_ ff1 (.C(C), .R(R), .E(E), .D(D), .Q(Q[1]));
|
||||
$_SDFFE_PN1P_ ff2 (.C(C), .R(R), .E(E), .D(D), .Q(Q[2]));
|
||||
$_SDFFE_NP1P_ ff3 (.C(C), .R(R), .E(E), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
module sdffce0(input C, E, R, D, (* init = 4'b0000 *) output [3:0] Q);
|
||||
$_SDFFCE_PP0P_ ff0 (.C(C), .R(R), .E(E), .D(D), .Q(Q[0]));
|
||||
$_SDFFCE_PP0N_ ff1 (.C(C), .R(R), .E(E), .D(D), .Q(Q[1]));
|
||||
$_SDFFCE_PN0P_ ff2 (.C(C), .R(R), .E(E), .D(D), .Q(Q[2]));
|
||||
$_SDFFCE_NP0P_ ff3 (.C(C), .R(R), .E(E), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
module sdffce1(input C, E, R, D, (* init = 4'b0000 *) output [3:0] Q);
|
||||
$_SDFFCE_PP1P_ ff0 (.C(C), .R(R), .E(E), .D(D), .Q(Q[0]));
|
||||
$_SDFFCE_PP1N_ ff1 (.C(C), .R(R), .E(E), .D(D), .Q(Q[1]));
|
||||
$_SDFFCE_PN1P_ ff2 (.C(C), .R(R), .E(E), .D(D), .Q(Q[2]));
|
||||
$_SDFFCE_NP1P_ ff3 (.C(C), .R(R), .E(E), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
module top(input C, E, R, D, output [26:0] Q);
|
||||
dff dff_(.C(C), .D(D), .Q(Q[1:0]));
|
||||
dffe dffe_(.C(C), .E(E), .D(D), .Q(Q[4:2]));
|
||||
sdff0 sdff0_(.C(C), .R(R), .D(D), .Q(Q[7:5]));
|
||||
sdff1 sdff1_(.C(C), .R(R), .D(D), .Q(Q[10:8]));
|
||||
sdffe0 sdffe0_(.C(C), .R(R), .E(E), .D(D), .Q(Q[14:11]));
|
||||
sdffe1 sdffe1_(.C(C), .R(R), .E(E), .D(D), .Q(Q[18:15]));
|
||||
sdffce0 sdffce0_(.C(C), .R(R), .E(E), .D(D), .Q(Q[22:19]));
|
||||
sdffce1 sdffce1_(.C(C), .R(R), .E(E), .D(D), .Q(Q[26:23]));
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
design -save orig
|
||||
flatten
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_P_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_P_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_PP0_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_PP0_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_PP1_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_PP1_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP0P_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP0P_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP1P_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP1P_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSR_PPP_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSR_PPP_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSRE_PPPP_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSRE_PPPP_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFF_PP0_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFF_PP0_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFF_PP1_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFF_PP1_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFFE_PP0P_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFFE_PP0P_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFFE_PP1P_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFFE_PP1P_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFFCE_PP0P_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFFCE_PP0P_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFFCE_PP1P_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFFCE_PP1P_ 1
|
||||
|
||||
# Convert everything to DFFs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_P_ 0
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 1 dffe/t:$_NOT_
|
||||
select -assert-count 1 sdff0/t:$_NOT_
|
||||
select -assert-count 1 sdff1/t:$_NOT_
|
||||
select -assert-count 1 sdffe0/t:$_NOT_
|
||||
select -assert-count 1 sdffe1/t:$_NOT_
|
||||
select -assert-count 1 sdffce0/t:$_NOT_
|
||||
select -assert-count 1 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 3 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 8 sdffce0/t:$_MUX_
|
||||
select -assert-count 8 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFF_P_
|
||||
select -assert-none t:$_DFF_P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_P_ 1
|
||||
|
||||
select -assert-count 5 dff/t:$_NOT_
|
||||
select -assert-count 7 dffe/t:$_NOT_
|
||||
select -assert-count 7 sdff0/t:$_NOT_
|
||||
select -assert-count 7 sdff1/t:$_NOT_
|
||||
select -assert-count 9 sdffe0/t:$_NOT_
|
||||
select -assert-count 9 sdffe1/t:$_NOT_
|
||||
select -assert-count 9 sdffce0/t:$_NOT_
|
||||
select -assert-count 9 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 3 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 8 sdffce0/t:$_MUX_
|
||||
select -assert-count 8 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFF_P_
|
||||
select -assert-none t:$_DFF_P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFEs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP_ 0
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 2 dffe/t:$_NOT_
|
||||
select -assert-count 1 sdff0/t:$_NOT_
|
||||
select -assert-count 1 sdff1/t:$_NOT_
|
||||
select -assert-count 1 sdffe0/t:$_NOT_
|
||||
select -assert-count 1 sdffe1/t:$_NOT_
|
||||
select -assert-count 2 sdffce0/t:$_NOT_
|
||||
select -assert-count 2 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFFE_PP_
|
||||
select -assert-none t:$_DFFE_PP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP_ 1
|
||||
|
||||
select -assert-count 5 dff/t:$_NOT_
|
||||
select -assert-count 8 dffe/t:$_NOT_
|
||||
select -assert-count 7 sdff0/t:$_NOT_
|
||||
select -assert-count 7 sdff1/t:$_NOT_
|
||||
select -assert-count 9 sdffe0/t:$_NOT_
|
||||
select -assert-count 9 sdffe1/t:$_NOT_
|
||||
select -assert-count 10 sdffce0/t:$_NOT_
|
||||
select -assert-count 10 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFFE_PP_
|
||||
select -assert-none t:$_DFFE_PP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to ADFFs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_PP0_ 0
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 1 dffe/t:$_NOT_
|
||||
select -assert-count 1 sdff0/t:$_NOT_
|
||||
select -assert-count 1 sdff1/t:$_NOT_
|
||||
select -assert-count 1 sdffe0/t:$_NOT_
|
||||
select -assert-count 1 sdffe1/t:$_NOT_
|
||||
select -assert-count 1 sdffce0/t:$_NOT_
|
||||
select -assert-count 1 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 3 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 8 sdffce0/t:$_MUX_
|
||||
select -assert-count 8 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFF_PP0_
|
||||
select -assert-none t:$_DFF_PP0_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_PP0_ 1
|
||||
|
||||
select -assert-count 5 dff/t:$_NOT_
|
||||
select -assert-count 7 dffe/t:$_NOT_
|
||||
select -assert-count 7 sdff0/t:$_NOT_
|
||||
select -assert-count 7 sdff1/t:$_NOT_
|
||||
select -assert-count 9 sdffe0/t:$_NOT_
|
||||
select -assert-count 9 sdffe1/t:$_NOT_
|
||||
select -assert-count 9 sdffce0/t:$_NOT_
|
||||
select -assert-count 9 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 3 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 8 sdffce0/t:$_MUX_
|
||||
select -assert-count 8 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFF_PP0_
|
||||
select -assert-none t:$_DFF_PP0_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_PP1_ 0
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 1 dffe/t:$_NOT_
|
||||
select -assert-count 1 sdff0/t:$_NOT_
|
||||
select -assert-count 1 sdff1/t:$_NOT_
|
||||
select -assert-count 1 sdffe0/t:$_NOT_
|
||||
select -assert-count 1 sdffe1/t:$_NOT_
|
||||
select -assert-count 1 sdffce0/t:$_NOT_
|
||||
select -assert-count 1 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 3 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 8 sdffce0/t:$_MUX_
|
||||
select -assert-count 8 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFF_PP1_
|
||||
select -assert-none t:$_DFF_PP1_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_PP1_ 1
|
||||
|
||||
select -assert-count 5 dff/t:$_NOT_
|
||||
select -assert-count 7 dffe/t:$_NOT_
|
||||
select -assert-count 7 sdff0/t:$_NOT_
|
||||
select -assert-count 7 sdff1/t:$_NOT_
|
||||
select -assert-count 9 sdffe0/t:$_NOT_
|
||||
select -assert-count 9 sdffe1/t:$_NOT_
|
||||
select -assert-count 9 sdffce0/t:$_NOT_
|
||||
select -assert-count 9 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 3 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 8 sdffce0/t:$_MUX_
|
||||
select -assert-count 8 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFF_PP1_
|
||||
select -assert-none t:$_DFF_PP1_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to ADFFEs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP0P_ 0
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 2 dffe/t:$_NOT_
|
||||
select -assert-count 1 sdff0/t:$_NOT_
|
||||
select -assert-count 1 sdff1/t:$_NOT_
|
||||
select -assert-count 1 sdffe0/t:$_NOT_
|
||||
select -assert-count 1 sdffe1/t:$_NOT_
|
||||
select -assert-count 2 sdffce0/t:$_NOT_
|
||||
select -assert-count 2 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFFE_PP0P_
|
||||
select -assert-none t:$_DFFE_PP0P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP0P_ 1
|
||||
|
||||
select -assert-count 5 dff/t:$_NOT_
|
||||
select -assert-count 8 dffe/t:$_NOT_
|
||||
select -assert-count 7 sdff0/t:$_NOT_
|
||||
select -assert-count 7 sdff1/t:$_NOT_
|
||||
select -assert-count 9 sdffe0/t:$_NOT_
|
||||
select -assert-count 9 sdffe1/t:$_NOT_
|
||||
select -assert-count 10 sdffce0/t:$_NOT_
|
||||
select -assert-count 10 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFFE_PP0P_
|
||||
select -assert-none t:$_DFFE_PP0P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP1P_ 0
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 2 dffe/t:$_NOT_
|
||||
select -assert-count 1 sdff0/t:$_NOT_
|
||||
select -assert-count 1 sdff1/t:$_NOT_
|
||||
select -assert-count 1 sdffe0/t:$_NOT_
|
||||
select -assert-count 1 sdffe1/t:$_NOT_
|
||||
select -assert-count 2 sdffce0/t:$_NOT_
|
||||
select -assert-count 2 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFFE_PP1P_
|
||||
select -assert-none t:$_DFFE_PP1P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP1P_ 1
|
||||
|
||||
select -assert-count 5 dff/t:$_NOT_
|
||||
select -assert-count 8 dffe/t:$_NOT_
|
||||
select -assert-count 7 sdff0/t:$_NOT_
|
||||
select -assert-count 7 sdff1/t:$_NOT_
|
||||
select -assert-count 9 sdffe0/t:$_NOT_
|
||||
select -assert-count 9 sdffe1/t:$_NOT_
|
||||
select -assert-count 10 sdffce0/t:$_NOT_
|
||||
select -assert-count 10 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFFE_PP1P_
|
||||
select -assert-none t:$_DFFE_PP1P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFSRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSR_PPP_ 0
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 1 dffe/t:$_NOT_
|
||||
select -assert-count 1 sdff0/t:$_NOT_
|
||||
select -assert-count 1 sdff1/t:$_NOT_
|
||||
select -assert-count 1 sdffe0/t:$_NOT_
|
||||
select -assert-count 1 sdffe1/t:$_NOT_
|
||||
select -assert-count 1 sdffce0/t:$_NOT_
|
||||
select -assert-count 1 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 3 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 8 sdffce0/t:$_MUX_
|
||||
select -assert-count 8 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFFSR_PPP_
|
||||
select -assert-none t:$_DFFSR_PPP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSR_PPP_ 1
|
||||
|
||||
select -assert-count 5 dff/t:$_NOT_
|
||||
select -assert-count 7 dffe/t:$_NOT_
|
||||
select -assert-count 7 sdff0/t:$_NOT_
|
||||
select -assert-count 7 sdff1/t:$_NOT_
|
||||
select -assert-count 9 sdffe0/t:$_NOT_
|
||||
select -assert-count 9 sdffe1/t:$_NOT_
|
||||
select -assert-count 9 sdffce0/t:$_NOT_
|
||||
select -assert-count 9 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 3 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 8 sdffce0/t:$_MUX_
|
||||
select -assert-count 8 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFFSR_PPP_
|
||||
select -assert-none t:$_DFFSR_PPP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFSREs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSRE_PPPP_ 0
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 2 dffe/t:$_NOT_
|
||||
select -assert-count 1 sdff0/t:$_NOT_
|
||||
select -assert-count 1 sdff1/t:$_NOT_
|
||||
select -assert-count 1 sdffe0/t:$_NOT_
|
||||
select -assert-count 1 sdffe1/t:$_NOT_
|
||||
select -assert-count 2 sdffce0/t:$_NOT_
|
||||
select -assert-count 2 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFFSRE_PPPP_
|
||||
select -assert-none t:$_DFFSRE_PPPP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSRE_PPPP_ 1
|
||||
|
||||
select -assert-count 5 dff/t:$_NOT_
|
||||
select -assert-count 8 dffe/t:$_NOT_
|
||||
select -assert-count 7 sdff0/t:$_NOT_
|
||||
select -assert-count 7 sdff1/t:$_NOT_
|
||||
select -assert-count 9 sdffe0/t:$_NOT_
|
||||
select -assert-count 9 sdffe1/t:$_NOT_
|
||||
select -assert-count 10 sdffce0/t:$_NOT_
|
||||
select -assert-count 10 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 27 t:$_DFFSRE_PPPP_
|
||||
select -assert-none t:$_DFFSRE_PPPP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to SDFFs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SDFF_PP0_ 0
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 1 dffe/t:$_NOT_
|
||||
select -assert-count 2 sdff0/t:$_NOT_
|
||||
select -assert-count 1 sdff1/t:$_NOT_
|
||||
select -assert-count 2 sdffe0/t:$_NOT_
|
||||
select -assert-count 1 sdffe1/t:$_NOT_
|
||||
select -assert-count 2 sdffce0/t:$_NOT_
|
||||
select -assert-count 1 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 3 dffe/t:$_MUX_
|
||||
select -assert-count 0 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 4 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 8 sdffce1/t:$_MUX_
|
||||
select -assert-count 0 t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ %% sdffce0/* %n %i
|
||||
select -assert-count 2 sdffce0/t:$_AND_
|
||||
select -assert-count 1 sdffce0/t:$_ORNOT_
|
||||
select -assert-count 1 sdffce0/t:$_ANDNOT_
|
||||
select -assert-count 27 t:$_SDFF_PP0_
|
||||
select -assert-none t:$_SDFF_PP0_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SDFF_PP0_ 1
|
||||
|
||||
select -assert-count 5 dff/t:$_NOT_
|
||||
select -assert-count 7 dffe/t:$_NOT_
|
||||
select -assert-count 7 sdff0/t:$_NOT_
|
||||
select -assert-count 8 sdff1/t:$_NOT_
|
||||
select -assert-count 9 sdffe0/t:$_NOT_
|
||||
select -assert-count 10 sdffe1/t:$_NOT_
|
||||
select -assert-count 9 sdffce0/t:$_NOT_
|
||||
select -assert-count 10 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 3 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 0 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 4 sdffe1/t:$_MUX_
|
||||
select -assert-count 8 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 0 t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ %% sdffce1/* %n %i
|
||||
select -assert-count 2 sdffce1/t:$_AND_
|
||||
select -assert-count 1 sdffce1/t:$_ORNOT_
|
||||
select -assert-count 1 sdffce1/t:$_ANDNOT_
|
||||
select -assert-count 27 t:$_SDFF_PP0_
|
||||
select -assert-none t:$_SDFF_PP0_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SDFF_PP1_ 0
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 1 dffe/t:$_NOT_
|
||||
select -assert-count 1 sdff0/t:$_NOT_
|
||||
select -assert-count 2 sdff1/t:$_NOT_
|
||||
select -assert-count 1 sdffe0/t:$_NOT_
|
||||
select -assert-count 2 sdffe1/t:$_NOT_
|
||||
select -assert-count 1 sdffce0/t:$_NOT_
|
||||
select -assert-count 2 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 3 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 0 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 4 sdffe1/t:$_MUX_
|
||||
select -assert-count 8 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 0 t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ %% sdffce1/* %n %i
|
||||
select -assert-count 2 sdffce1/t:$_AND_
|
||||
select -assert-count 1 sdffce1/t:$_ORNOT_
|
||||
select -assert-count 1 sdffce1/t:$_ANDNOT_
|
||||
select -assert-count 27 t:$_SDFF_PP1_
|
||||
select -assert-none t:$_SDFF_PP1_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SDFF_PP1_ 1
|
||||
|
||||
select -assert-count 5 dff/t:$_NOT_
|
||||
select -assert-count 7 dffe/t:$_NOT_
|
||||
select -assert-count 8 sdff0/t:$_NOT_
|
||||
select -assert-count 7 sdff1/t:$_NOT_
|
||||
select -assert-count 10 sdffe0/t:$_NOT_
|
||||
select -assert-count 9 sdffe1/t:$_NOT_
|
||||
select -assert-count 10 sdffce0/t:$_NOT_
|
||||
select -assert-count 9 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 3 dffe/t:$_MUX_
|
||||
select -assert-count 0 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 4 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 8 sdffce1/t:$_MUX_
|
||||
select -assert-count 0 t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ %% sdffce0/* %n %i
|
||||
select -assert-count 2 sdffce0/t:$_AND_
|
||||
select -assert-count 1 sdffce0/t:$_ORNOT_
|
||||
select -assert-count 1 sdffce0/t:$_ANDNOT_
|
||||
select -assert-count 27 t:$_SDFF_PP1_
|
||||
select -assert-none t:$_SDFF_PP1_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to SDFFEs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SDFFE_PP0P_ 0
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 2 dffe/t:$_NOT_
|
||||
select -assert-count 2 sdff0/t:$_NOT_
|
||||
select -assert-count 1 sdff1/t:$_NOT_
|
||||
select -assert-count 3 sdffe0/t:$_NOT_
|
||||
select -assert-count 1 sdffe1/t:$_NOT_
|
||||
select -assert-count 3 sdffce0/t:$_NOT_
|
||||
select -assert-count 2 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 0 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 0 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 0 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 0 t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ %% sdffce0/* %n %i
|
||||
select -assert-count 2 sdffce0/t:$_AND_
|
||||
select -assert-count 1 sdffce0/t:$_ORNOT_
|
||||
select -assert-count 1 sdffce0/t:$_ANDNOT_
|
||||
select -assert-count 27 t:$_SDFFE_PP0P_
|
||||
select -assert-none t:$_SDFFE_PP0P_ t:$_NOT_ t:$_MUX_ t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SDFFE_PP0P_ 1
|
||||
|
||||
select -assert-count 5 dff/t:$_NOT_
|
||||
select -assert-count 8 dffe/t:$_NOT_
|
||||
select -assert-count 7 sdff0/t:$_NOT_
|
||||
select -assert-count 8 sdff1/t:$_NOT_
|
||||
select -assert-count 9 sdffe0/t:$_NOT_
|
||||
select -assert-count 11 sdffe1/t:$_NOT_
|
||||
select -assert-count 10 sdffce0/t:$_NOT_
|
||||
select -assert-count 11 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 0 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 0 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 0 sdffce1/t:$_MUX_
|
||||
select -assert-count 0 t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ %% sdffce1/* %n %i
|
||||
select -assert-count 2 sdffce1/t:$_AND_
|
||||
select -assert-count 1 sdffce1/t:$_ORNOT_
|
||||
select -assert-count 1 sdffce1/t:$_ANDNOT_
|
||||
select -assert-count 27 t:$_SDFFE_PP0P_
|
||||
select -assert-none t:$_SDFFE_PP0P_ t:$_NOT_ t:$_MUX_ t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SDFFE_PP1P_ 0
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 2 dffe/t:$_NOT_
|
||||
select -assert-count 1 sdff0/t:$_NOT_
|
||||
select -assert-count 2 sdff1/t:$_NOT_
|
||||
select -assert-count 1 sdffe0/t:$_NOT_
|
||||
select -assert-count 3 sdffe1/t:$_NOT_
|
||||
select -assert-count 2 sdffce0/t:$_NOT_
|
||||
select -assert-count 3 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 0 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 0 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 0 sdffce1/t:$_MUX_
|
||||
select -assert-count 0 t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ %% sdffce1/* %n %i
|
||||
select -assert-count 2 sdffce1/t:$_AND_
|
||||
select -assert-count 1 sdffce1/t:$_ORNOT_
|
||||
select -assert-count 1 sdffce1/t:$_ANDNOT_
|
||||
select -assert-count 27 t:$_SDFFE_PP1P_
|
||||
select -assert-none t:$_SDFFE_PP1P_ t:$_NOT_ t:$_MUX_ t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SDFFE_PP1P_ 1
|
||||
|
||||
select -assert-count 5 dff/t:$_NOT_
|
||||
select -assert-count 8 dffe/t:$_NOT_
|
||||
select -assert-count 8 sdff0/t:$_NOT_
|
||||
select -assert-count 7 sdff1/t:$_NOT_
|
||||
select -assert-count 11 sdffe0/t:$_NOT_
|
||||
select -assert-count 9 sdffe1/t:$_NOT_
|
||||
select -assert-count 11 sdffce0/t:$_NOT_
|
||||
select -assert-count 10 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 0 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 0 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 0 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 0 t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ %% sdffce0/* %n %i
|
||||
select -assert-count 2 sdffce0/t:$_AND_
|
||||
select -assert-count 1 sdffce0/t:$_ORNOT_
|
||||
select -assert-count 1 sdffce0/t:$_ANDNOT_
|
||||
select -assert-count 27 t:$_SDFFE_PP1P_
|
||||
select -assert-none t:$_SDFFE_PP1P_ t:$_NOT_ t:$_MUX_ t:$_AND_ t:$_ORNOT_ t:$_ANDNOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to SDFFCEs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SDFFCE_PP0P_ 0
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 2 dffe/t:$_NOT_
|
||||
select -assert-count 2 sdff0/t:$_NOT_
|
||||
select -assert-count 1 sdff1/t:$_NOT_
|
||||
select -assert-count 3 sdffe0/t:$_NOT_
|
||||
select -assert-count 1 sdffe1/t:$_NOT_
|
||||
select -assert-count 3 sdffce0/t:$_NOT_
|
||||
select -assert-count 2 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 0 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 0 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 0 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 0 t:$_OR_ t:$_ORNOT_ t:$_ANDNOT_ %% sdffe0/* %n %i
|
||||
select -assert-count 2 sdffe0/t:$_OR_
|
||||
select -assert-count 1 sdffe0/t:$_ORNOT_
|
||||
select -assert-count 1 sdffe0/t:$_ANDNOT_
|
||||
select -assert-count 27 t:$_SDFFCE_PP0P_
|
||||
select -assert-none t:$_SDFFCE_PP0P_ t:$_NOT_ t:$_MUX_ t:$_OR_ t:$_ORNOT_ t:$_ANDNOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SDFFCE_PP0P_ 1
|
||||
|
||||
select -assert-count 5 dff/t:$_NOT_
|
||||
select -assert-count 8 dffe/t:$_NOT_
|
||||
select -assert-count 7 sdff0/t:$_NOT_
|
||||
select -assert-count 8 sdff1/t:$_NOT_
|
||||
select -assert-count 9 sdffe0/t:$_NOT_
|
||||
select -assert-count 11 sdffe1/t:$_NOT_
|
||||
select -assert-count 10 sdffce0/t:$_NOT_
|
||||
select -assert-count 11 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 0 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 0 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 0 sdffce1/t:$_MUX_
|
||||
select -assert-count 0 t:$_OR_ t:$_ORNOT_ t:$_ANDNOT_ %% sdffe1/* %n %i
|
||||
select -assert-count 2 sdffe1/t:$_OR_
|
||||
select -assert-count 1 sdffe1/t:$_ORNOT_
|
||||
select -assert-count 1 sdffe1/t:$_ANDNOT_
|
||||
select -assert-count 27 t:$_SDFFCE_PP0P_
|
||||
select -assert-none t:$_SDFFCE_PP0P_ t:$_NOT_ t:$_MUX_ t:$_OR_ t:$_ORNOT_ t:$_ANDNOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SDFFCE_PP1P_ 0
|
||||
|
||||
select -assert-count 1 dff/t:$_NOT_
|
||||
select -assert-count 2 dffe/t:$_NOT_
|
||||
select -assert-count 1 sdff0/t:$_NOT_
|
||||
select -assert-count 2 sdff1/t:$_NOT_
|
||||
select -assert-count 1 sdffe0/t:$_NOT_
|
||||
select -assert-count 3 sdffe1/t:$_NOT_
|
||||
select -assert-count 2 sdffce0/t:$_NOT_
|
||||
select -assert-count 3 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 3 sdff0/t:$_MUX_
|
||||
select -assert-count 0 sdff1/t:$_MUX_
|
||||
select -assert-count 8 sdffe0/t:$_MUX_
|
||||
select -assert-count 0 sdffe1/t:$_MUX_
|
||||
select -assert-count 4 sdffce0/t:$_MUX_
|
||||
select -assert-count 0 sdffce1/t:$_MUX_
|
||||
select -assert-count 0 t:$_OR_ t:$_ORNOT_ t:$_ANDNOT_ %% sdffe1/* %n %i
|
||||
select -assert-count 2 sdffe1/t:$_OR_
|
||||
select -assert-count 1 sdffe1/t:$_ORNOT_
|
||||
select -assert-count 1 sdffe1/t:$_ANDNOT_
|
||||
select -assert-count 27 t:$_SDFFCE_PP1P_
|
||||
select -assert-none t:$_SDFFCE_PP1P_ t:$_NOT_ t:$_MUX_ t:$_OR_ t:$_ORNOT_ t:$_ANDNOT_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SDFFCE_PP1P_ 1
|
||||
|
||||
select -assert-count 5 dff/t:$_NOT_
|
||||
select -assert-count 8 dffe/t:$_NOT_
|
||||
select -assert-count 8 sdff0/t:$_NOT_
|
||||
select -assert-count 7 sdff1/t:$_NOT_
|
||||
select -assert-count 11 sdffe0/t:$_NOT_
|
||||
select -assert-count 9 sdffe1/t:$_NOT_
|
||||
select -assert-count 11 sdffce0/t:$_NOT_
|
||||
select -assert-count 10 sdffce1/t:$_NOT_
|
||||
select -assert-count 0 dff/t:$_MUX_
|
||||
select -assert-count 0 dffe/t:$_MUX_
|
||||
select -assert-count 0 sdff0/t:$_MUX_
|
||||
select -assert-count 3 sdff1/t:$_MUX_
|
||||
select -assert-count 0 sdffe0/t:$_MUX_
|
||||
select -assert-count 8 sdffe1/t:$_MUX_
|
||||
select -assert-count 0 sdffce0/t:$_MUX_
|
||||
select -assert-count 4 sdffce1/t:$_MUX_
|
||||
select -assert-count 0 t:$_OR_ t:$_ORNOT_ t:$_ANDNOT_ %% sdffe0/* %n %i
|
||||
select -assert-count 2 sdffe0/t:$_OR_
|
||||
select -assert-count 1 sdffe0/t:$_ORNOT_
|
||||
select -assert-count 1 sdffe0/t:$_ANDNOT_
|
||||
select -assert-count 27 t:$_SDFFCE_PP1P_
|
||||
select -assert-none t:$_SDFFCE_PP1P_ t:$_NOT_ t:$_MUX_ t:$_OR_ t:$_ORNOT_ t:$_ANDNOT_ top/* %% %n t:* %i
|
||||
|
|
@ -0,0 +1,88 @@
|
|||
read_verilog -icells <<EOT
|
||||
|
||||
module dffsr(input C, R, S, D, output [3:0] Q);
|
||||
$_DFFSR_PPP_ ff0 (.C(C), .R(R), .S(S), .D(D), .Q(Q[0]));
|
||||
$_DFFSR_PPN_ ff1 (.C(C), .R(R), .S(S), .D(D), .Q(Q[1]));
|
||||
$_DFFSR_PNP_ ff2 (.C(C), .R(R), .S(S), .D(D), .Q(Q[2]));
|
||||
$_DFFSR_NPP_ ff3 (.C(C), .R(R), .S(S), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
module dffsre(input C, R, S, E, D, output [4:0] Q);
|
||||
$_DFFSRE_PPPP_ ff0 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[0]));
|
||||
$_DFFSRE_PPPN_ ff1 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[1]));
|
||||
$_DFFSRE_PPNP_ ff2 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[2]));
|
||||
$_DFFSRE_PNPP_ ff3 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[3]));
|
||||
$_DFFSRE_NPPP_ ff4 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[4]));
|
||||
endmodule
|
||||
|
||||
module top(input C, E, R, S, D, output [8:0] Q);
|
||||
dffsr dffsr_(.C(C), .R(R), .S(S), .D(D), .Q(Q[3:0]));
|
||||
dffsre dffsre_(.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[8:4]));
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
design -save orig
|
||||
flatten
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_PP0_ x -cell $_SR_PP_ x
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP0P_ x -cell $_SR_PP_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSR_PPP_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSRE_PPPP_ x
|
||||
|
||||
|
||||
# Convert everything to ADFFs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_PP0_ x -cell $_SR_PP_ x
|
||||
|
||||
select -assert-count 14 dffsr/t:$_NOT_
|
||||
select -assert-count 16 dffsre/t:$_NOT_
|
||||
select -assert-count 4 dffsr/t:$_MUX_
|
||||
select -assert-count 10 dffsre/t:$_MUX_
|
||||
select -assert-count 8 dffsr/t:$_DFF_PP0_
|
||||
select -assert-count 10 dffsre/t:$_DFF_PP0_
|
||||
select -assert-count 4 dffsr/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre/t:$_SR_PP_
|
||||
select -assert-none t:$_DFF_PP0_ t:$_SR_PP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to ADFFEs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP0P_ x -cell $_SR_PP_ x
|
||||
|
||||
select -assert-count 14 dffsr/t:$_NOT_
|
||||
select -assert-count 18 dffsre/t:$_NOT_
|
||||
select -assert-count 4 dffsr/t:$_MUX_
|
||||
select -assert-count 5 dffsre/t:$_MUX_
|
||||
select -assert-count 8 dffsr/t:$_DFFE_PP0P_
|
||||
select -assert-count 10 dffsre/t:$_DFFE_PP0P_
|
||||
select -assert-count 4 dffsr/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre/t:$_SR_PP_
|
||||
select -assert-none t:$_DFFE_PP0P_ t:$_SR_PP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFSRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSR_PPP_ x
|
||||
|
||||
select -assert-count 3 dffsr/t:$_NOT_
|
||||
select -assert-count 3 dffsre/t:$_NOT_
|
||||
select -assert-count 0 dffsr/t:$_MUX_
|
||||
select -assert-count 5 dffsre/t:$_MUX_
|
||||
select -assert-count 4 dffsr/t:$_DFFSR_PPP_
|
||||
select -assert-count 5 dffsre/t:$_DFFSR_PPP_
|
||||
select -assert-none t:$_DFFSR_PPP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFSREs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSRE_PPPP_ x
|
||||
|
||||
select -assert-count 3 dffsr/t:$_NOT_
|
||||
select -assert-count 4 dffsre/t:$_NOT_
|
||||
select -assert-count 4 dffsr/t:$_DFFSRE_PPPP_
|
||||
select -assert-count 5 dffsre/t:$_DFFSRE_PPPP_
|
||||
select -assert-none t:$_DFFSRE_PPPP_ t:$_NOT_ top/* %% %n t:* %i
|
||||
|
|
@ -0,0 +1,379 @@
|
|||
read_verilog -icells <<EOT
|
||||
|
||||
module dffsr0(input C, R, S, D, (* init = 4'h0 *) output [3:0] Q);
|
||||
$_DFFSR_PPP_ ff0 (.C(C), .R(R), .S(S), .D(D), .Q(Q[0]));
|
||||
$_DFFSR_PPN_ ff1 (.C(C), .R(R), .S(S), .D(D), .Q(Q[1]));
|
||||
$_DFFSR_PNP_ ff2 (.C(C), .R(R), .S(S), .D(D), .Q(Q[2]));
|
||||
$_DFFSR_NPP_ ff3 (.C(C), .R(R), .S(S), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
module dffsr1(input C, R, S, D, (* init = 4'hf *) output [3:0] Q);
|
||||
$_DFFSR_PPP_ ff0 (.C(C), .R(R), .S(S), .D(D), .Q(Q[0]));
|
||||
$_DFFSR_PPN_ ff1 (.C(C), .R(R), .S(S), .D(D), .Q(Q[1]));
|
||||
$_DFFSR_PNP_ ff2 (.C(C), .R(R), .S(S), .D(D), .Q(Q[2]));
|
||||
$_DFFSR_NPP_ ff3 (.C(C), .R(R), .S(S), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
module dffsre0(input C, R, S, E, D, (* init = 5'h0 *) output [4:0] Q);
|
||||
$_DFFSRE_PPPP_ ff0 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[0]));
|
||||
$_DFFSRE_PPPN_ ff1 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[1]));
|
||||
$_DFFSRE_PPNP_ ff2 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[2]));
|
||||
$_DFFSRE_PNPP_ ff3 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[3]));
|
||||
$_DFFSRE_NPPP_ ff4 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[4]));
|
||||
endmodule
|
||||
|
||||
module dffsre1(input C, R, S, E, D, (* init = 5'h1f *) output [4:0] Q);
|
||||
$_DFFSRE_PPPP_ ff0 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[0]));
|
||||
$_DFFSRE_PPPN_ ff1 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[1]));
|
||||
$_DFFSRE_PPNP_ ff2 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[2]));
|
||||
$_DFFSRE_PNPP_ ff3 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[3]));
|
||||
$_DFFSRE_NPPP_ ff4 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[4]));
|
||||
endmodule
|
||||
|
||||
module top(input C, E, R, S, D, output [17:0] Q);
|
||||
dffsr0 dffsr0_(.C(C), .R(R), .S(S), .D(D), .Q(Q[3:0]));
|
||||
dffsr1 dffsr1_(.C(C), .R(R), .S(S), .D(D), .Q(Q[7:4]));
|
||||
dffsre0 dffsre0_(.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[12:8]));
|
||||
dffsre1 dffsre1_(.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[17:13]));
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
design -save orig
|
||||
flatten
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_PP0_ 0 -cell $_SR_PP_ 0
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_PP0_ 1 -cell $_SR_PP_ 0
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_PP1_ 0 -cell $_SR_PP_ 0
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_PP1_ 1 -cell $_SR_PP_ 0
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP0P_ 0 -cell $_SR_PP_ 0
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP0P_ 1 -cell $_SR_PP_ 0
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP1P_ 0 -cell $_SR_PP_ 0
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP1P_ 1 -cell $_SR_PP_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSR_PPP_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSR_PPP_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSRE_PPPP_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSRE_PPPP_ 1
|
||||
|
||||
|
||||
# Convert everything to ADFFs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_PP0_ 0 -cell $_SR_PP_ 0
|
||||
|
||||
select -assert-count 14 dffsr0/t:$_NOT_
|
||||
select -assert-count 18 dffsr1/t:$_NOT_
|
||||
select -assert-count 16 dffsre0/t:$_NOT_
|
||||
select -assert-count 21 dffsre1/t:$_NOT_
|
||||
select -assert-count 4 dffsr0/t:$_MUX_
|
||||
select -assert-count 4 dffsr1/t:$_MUX_
|
||||
select -assert-count 10 dffsre0/t:$_MUX_
|
||||
select -assert-count 10 dffsre1/t:$_MUX_
|
||||
select -assert-count 8 dffsr0/t:$_DFF_PP0_
|
||||
select -assert-count 8 dffsr1/t:$_DFF_PP0_
|
||||
select -assert-count 10 dffsre0/t:$_DFF_PP0_
|
||||
select -assert-count 10 dffsre1/t:$_DFF_PP0_
|
||||
select -assert-count 4 dffsr0/t:$_SR_PP_
|
||||
select -assert-count 4 dffsr1/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre0/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre1/t:$_SR_PP_
|
||||
select -assert-count 1 dffsr1/t:$_AND_
|
||||
select -assert-count 2 dffsr1/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsr1/t:$_OR_
|
||||
select -assert-count 1 dffsre1/t:$_AND_
|
||||
select -assert-count 3 dffsre1/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsre1/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dffsr1/* dffsre1/* %u %n %i
|
||||
select -assert-none t:$_DFF_PP0_ t:$_SR_PP_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_PP0_ 1 -cell $_SR_PP_ 0
|
||||
|
||||
select -assert-count 18 dffsr0/t:$_NOT_
|
||||
select -assert-count 14 dffsr1/t:$_NOT_
|
||||
select -assert-count 21 dffsre0/t:$_NOT_
|
||||
select -assert-count 16 dffsre1/t:$_NOT_
|
||||
select -assert-count 4 dffsr0/t:$_MUX_
|
||||
select -assert-count 4 dffsr1/t:$_MUX_
|
||||
select -assert-count 10 dffsre0/t:$_MUX_
|
||||
select -assert-count 10 dffsre1/t:$_MUX_
|
||||
select -assert-count 8 dffsr0/t:$_DFF_PP0_
|
||||
select -assert-count 8 dffsr1/t:$_DFF_PP0_
|
||||
select -assert-count 10 dffsre0/t:$_DFF_PP0_
|
||||
select -assert-count 10 dffsre1/t:$_DFF_PP0_
|
||||
select -assert-count 4 dffsr0/t:$_SR_PP_
|
||||
select -assert-count 4 dffsr1/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre0/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre1/t:$_SR_PP_
|
||||
select -assert-count 1 dffsr0/t:$_AND_
|
||||
select -assert-count 2 dffsr0/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsr0/t:$_OR_
|
||||
select -assert-count 1 dffsre0/t:$_AND_
|
||||
select -assert-count 3 dffsre0/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsre0/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dffsr0/* dffsre0/* %u %n %i
|
||||
select -assert-none t:$_DFF_PP0_ t:$_SR_PP_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_PP1_ 0 -cell $_SR_PP_ 0
|
||||
|
||||
select -assert-count 18 dffsr0/t:$_NOT_
|
||||
select -assert-count 14 dffsr1/t:$_NOT_
|
||||
select -assert-count 21 dffsre0/t:$_NOT_
|
||||
select -assert-count 16 dffsre1/t:$_NOT_
|
||||
select -assert-count 4 dffsr0/t:$_MUX_
|
||||
select -assert-count 4 dffsr1/t:$_MUX_
|
||||
select -assert-count 10 dffsre0/t:$_MUX_
|
||||
select -assert-count 10 dffsre1/t:$_MUX_
|
||||
select -assert-count 8 dffsr0/t:$_DFF_PP1_
|
||||
select -assert-count 8 dffsr1/t:$_DFF_PP1_
|
||||
select -assert-count 10 dffsre0/t:$_DFF_PP1_
|
||||
select -assert-count 10 dffsre1/t:$_DFF_PP1_
|
||||
select -assert-count 4 dffsr0/t:$_SR_PP_
|
||||
select -assert-count 4 dffsr1/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre0/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre1/t:$_SR_PP_
|
||||
select -assert-count 1 dffsr0/t:$_AND_
|
||||
select -assert-count 2 dffsr0/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsr0/t:$_OR_
|
||||
select -assert-count 1 dffsre0/t:$_AND_
|
||||
select -assert-count 3 dffsre0/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsre0/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dffsr0/* dffsre0/* %u %n %i
|
||||
select -assert-none t:$_DFF_PP1_ t:$_SR_PP_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFF_PP1_ 1 -cell $_SR_PP_ 0
|
||||
|
||||
select -assert-count 14 dffsr0/t:$_NOT_
|
||||
select -assert-count 18 dffsr1/t:$_NOT_
|
||||
select -assert-count 16 dffsre0/t:$_NOT_
|
||||
select -assert-count 21 dffsre1/t:$_NOT_
|
||||
select -assert-count 4 dffsr0/t:$_MUX_
|
||||
select -assert-count 4 dffsr1/t:$_MUX_
|
||||
select -assert-count 10 dffsre0/t:$_MUX_
|
||||
select -assert-count 10 dffsre1/t:$_MUX_
|
||||
select -assert-count 8 dffsr0/t:$_DFF_PP1_
|
||||
select -assert-count 8 dffsr1/t:$_DFF_PP1_
|
||||
select -assert-count 10 dffsre0/t:$_DFF_PP1_
|
||||
select -assert-count 10 dffsre1/t:$_DFF_PP1_
|
||||
select -assert-count 4 dffsr0/t:$_SR_PP_
|
||||
select -assert-count 4 dffsr1/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre0/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre1/t:$_SR_PP_
|
||||
select -assert-count 1 dffsr1/t:$_AND_
|
||||
select -assert-count 2 dffsr1/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsr1/t:$_OR_
|
||||
select -assert-count 1 dffsre1/t:$_AND_
|
||||
select -assert-count 3 dffsre1/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsre1/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dffsr1/* dffsre1/* %u %n %i
|
||||
select -assert-none t:$_DFF_PP1_ t:$_SR_PP_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to ADFFEs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP0P_ 0 -cell $_SR_PP_ 1
|
||||
|
||||
select -assert-count 18 dffsr0/t:$_NOT_
|
||||
select -assert-count 14 dffsr1/t:$_NOT_
|
||||
select -assert-count 23 dffsre0/t:$_NOT_
|
||||
select -assert-count 18 dffsre1/t:$_NOT_
|
||||
select -assert-count 4 dffsr0/t:$_MUX_
|
||||
select -assert-count 4 dffsr1/t:$_MUX_
|
||||
select -assert-count 5 dffsre0/t:$_MUX_
|
||||
select -assert-count 5 dffsre1/t:$_MUX_
|
||||
select -assert-count 8 dffsr0/t:$_DFFE_PP0P_
|
||||
select -assert-count 8 dffsr1/t:$_DFFE_PP0P_
|
||||
select -assert-count 10 dffsre0/t:$_DFFE_PP0P_
|
||||
select -assert-count 10 dffsre1/t:$_DFFE_PP0P_
|
||||
select -assert-count 4 dffsr0/t:$_SR_PP_
|
||||
select -assert-count 4 dffsr1/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre0/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre1/t:$_SR_PP_
|
||||
select -assert-count 1 dffsr0/t:$_AND_
|
||||
select -assert-count 2 dffsr0/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsr0/t:$_OR_
|
||||
select -assert-count 1 dffsre0/t:$_AND_
|
||||
select -assert-count 3 dffsre0/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsre0/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dffsr0/* dffsre0/* %u %n %i
|
||||
select -assert-none t:$_DFFE_PP0P_ t:$_SR_PP_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP0P_ 1 -cell $_SR_PP_ 1
|
||||
|
||||
select -assert-count 14 dffsr0/t:$_NOT_
|
||||
select -assert-count 18 dffsr1/t:$_NOT_
|
||||
select -assert-count 18 dffsre0/t:$_NOT_
|
||||
select -assert-count 23 dffsre1/t:$_NOT_
|
||||
select -assert-count 4 dffsr0/t:$_MUX_
|
||||
select -assert-count 4 dffsr1/t:$_MUX_
|
||||
select -assert-count 5 dffsre0/t:$_MUX_
|
||||
select -assert-count 5 dffsre1/t:$_MUX_
|
||||
select -assert-count 8 dffsr0/t:$_DFFE_PP0P_
|
||||
select -assert-count 8 dffsr1/t:$_DFFE_PP0P_
|
||||
select -assert-count 10 dffsre0/t:$_DFFE_PP0P_
|
||||
select -assert-count 10 dffsre1/t:$_DFFE_PP0P_
|
||||
select -assert-count 4 dffsr0/t:$_SR_PP_
|
||||
select -assert-count 4 dffsr1/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre0/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre1/t:$_SR_PP_
|
||||
select -assert-count 1 dffsr1/t:$_AND_
|
||||
select -assert-count 2 dffsr1/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsr1/t:$_OR_
|
||||
select -assert-count 1 dffsre1/t:$_AND_
|
||||
select -assert-count 3 dffsre1/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsre1/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dffsr1/* dffsre1/* %u %n %i
|
||||
select -assert-none t:$_DFFE_PP0P_ t:$_SR_PP_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP1P_ 0 -cell $_SR_PP_ 1
|
||||
|
||||
select -assert-count 14 dffsr0/t:$_NOT_
|
||||
select -assert-count 18 dffsr1/t:$_NOT_
|
||||
select -assert-count 18 dffsre0/t:$_NOT_
|
||||
select -assert-count 23 dffsre1/t:$_NOT_
|
||||
select -assert-count 4 dffsr0/t:$_MUX_
|
||||
select -assert-count 4 dffsr1/t:$_MUX_
|
||||
select -assert-count 5 dffsre0/t:$_MUX_
|
||||
select -assert-count 5 dffsre1/t:$_MUX_
|
||||
select -assert-count 8 dffsr0/t:$_DFFE_PP1P_
|
||||
select -assert-count 8 dffsr1/t:$_DFFE_PP1P_
|
||||
select -assert-count 10 dffsre0/t:$_DFFE_PP1P_
|
||||
select -assert-count 10 dffsre1/t:$_DFFE_PP1P_
|
||||
select -assert-count 4 dffsr0/t:$_SR_PP_
|
||||
select -assert-count 4 dffsr1/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre0/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre1/t:$_SR_PP_
|
||||
select -assert-count 1 dffsr1/t:$_AND_
|
||||
select -assert-count 2 dffsr1/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsr1/t:$_OR_
|
||||
select -assert-count 1 dffsre1/t:$_AND_
|
||||
select -assert-count 3 dffsre1/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsre1/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dffsr1/* dffsre1/* %u %n %i
|
||||
select -assert-none t:$_DFFE_PP1P_ t:$_SR_PP_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFE_PP1P_ 1 -cell $_SR_PP_ 1
|
||||
|
||||
select -assert-count 18 dffsr0/t:$_NOT_
|
||||
select -assert-count 14 dffsr1/t:$_NOT_
|
||||
select -assert-count 23 dffsre0/t:$_NOT_
|
||||
select -assert-count 18 dffsre1/t:$_NOT_
|
||||
select -assert-count 4 dffsr0/t:$_MUX_
|
||||
select -assert-count 4 dffsr1/t:$_MUX_
|
||||
select -assert-count 5 dffsre0/t:$_MUX_
|
||||
select -assert-count 5 dffsre1/t:$_MUX_
|
||||
select -assert-count 8 dffsr0/t:$_DFFE_PP1P_
|
||||
select -assert-count 8 dffsr1/t:$_DFFE_PP1P_
|
||||
select -assert-count 10 dffsre0/t:$_DFFE_PP1P_
|
||||
select -assert-count 10 dffsre1/t:$_DFFE_PP1P_
|
||||
select -assert-count 4 dffsr0/t:$_SR_PP_
|
||||
select -assert-count 4 dffsr1/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre0/t:$_SR_PP_
|
||||
select -assert-count 5 dffsre1/t:$_SR_PP_
|
||||
select -assert-count 1 dffsr0/t:$_AND_
|
||||
select -assert-count 2 dffsr0/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsr0/t:$_OR_
|
||||
select -assert-count 1 dffsre0/t:$_AND_
|
||||
select -assert-count 3 dffsre0/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsre0/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dffsr0/* dffsre0/* %u %n %i
|
||||
select -assert-none t:$_DFFE_PP1P_ t:$_SR_PP_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFSRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSR_PPP_ 0
|
||||
|
||||
select -assert-count 3 dffsr0/t:$_NOT_
|
||||
select -assert-count 11 dffsr1/t:$_NOT_
|
||||
select -assert-count 3 dffsre0/t:$_NOT_
|
||||
select -assert-count 13 dffsre1/t:$_NOT_
|
||||
select -assert-count 0 dffsr0/t:$_MUX_
|
||||
select -assert-count 0 dffsr1/t:$_MUX_
|
||||
select -assert-count 5 dffsre0/t:$_MUX_
|
||||
select -assert-count 5 dffsre1/t:$_MUX_
|
||||
select -assert-count 4 dffsr0/t:$_DFFSR_PPP_
|
||||
select -assert-count 4 dffsr1/t:$_DFFSR_PPP_
|
||||
select -assert-count 5 dffsre0/t:$_DFFSR_PPP_
|
||||
select -assert-count 5 dffsre1/t:$_DFFSR_PPP_
|
||||
select -assert-count 1 dffsr1/t:$_AND_
|
||||
select -assert-count 2 dffsr1/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsr1/t:$_OR_
|
||||
select -assert-count 1 dffsre1/t:$_AND_
|
||||
select -assert-count 3 dffsre1/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsre1/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dffsr1/* dffsre1/* %u %n %i
|
||||
select -assert-none t:$_DFFSR_PPP_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSR_PPP_ 1
|
||||
|
||||
select -assert-count 11 dffsr0/t:$_NOT_
|
||||
select -assert-count 3 dffsr1/t:$_NOT_
|
||||
select -assert-count 13 dffsre0/t:$_NOT_
|
||||
select -assert-count 3 dffsre1/t:$_NOT_
|
||||
select -assert-count 0 dffsr0/t:$_MUX_
|
||||
select -assert-count 0 dffsr1j/t:$_MUX_
|
||||
select -assert-count 5 dffsre0/t:$_MUX_
|
||||
select -assert-count 5 dffsre1/t:$_MUX_
|
||||
select -assert-count 4 dffsr0/t:$_DFFSR_PPP_
|
||||
select -assert-count 4 dffsr1/t:$_DFFSR_PPP_
|
||||
select -assert-count 5 dffsre0/t:$_DFFSR_PPP_
|
||||
select -assert-count 5 dffsre1/t:$_DFFSR_PPP_
|
||||
select -assert-count 1 dffsr0/t:$_AND_
|
||||
select -assert-count 2 dffsr0/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsr0/t:$_OR_
|
||||
select -assert-count 1 dffsre0/t:$_AND_
|
||||
select -assert-count 3 dffsre0/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsre0/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dffsr0/* dffsre0/* %u %n %i
|
||||
select -assert-none t:$_DFFSR_PPP_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFSREs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSRE_PPPP_ 0
|
||||
|
||||
select -assert-count 3 dffsr0/t:$_NOT_
|
||||
select -assert-count 11 dffsr1/t:$_NOT_
|
||||
select -assert-count 4 dffsre0/t:$_NOT_
|
||||
select -assert-count 14 dffsre1/t:$_NOT_
|
||||
select -assert-count 4 dffsr0/t:$_DFFSRE_PPPP_
|
||||
select -assert-count 4 dffsr1/t:$_DFFSRE_PPPP_
|
||||
select -assert-count 5 dffsre0/t:$_DFFSRE_PPPP_
|
||||
select -assert-count 5 dffsre1/t:$_DFFSRE_PPPP_
|
||||
select -assert-count 1 dffsr1/t:$_AND_
|
||||
select -assert-count 2 dffsr1/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsr1/t:$_OR_
|
||||
select -assert-count 1 dffsre1/t:$_AND_
|
||||
select -assert-count 3 dffsre1/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsre1/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dffsr1/* dffsre1/* %u %n %i
|
||||
select -assert-none t:$_DFFSRE_PPPP_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSRE_PPPP_ 1
|
||||
|
||||
select -assert-count 11 dffsr0/t:$_NOT_
|
||||
select -assert-count 3 dffsr1/t:$_NOT_
|
||||
select -assert-count 14 dffsre0/t:$_NOT_
|
||||
select -assert-count 4 dffsre1/t:$_NOT_
|
||||
select -assert-count 4 dffsr0/t:$_DFFSRE_PPPP_
|
||||
select -assert-count 4 dffsr1/t:$_DFFSRE_PPPP_
|
||||
select -assert-count 5 dffsre0/t:$_DFFSRE_PPPP_
|
||||
select -assert-count 5 dffsre1/t:$_DFFSRE_PPPP_
|
||||
select -assert-count 1 dffsr0/t:$_AND_
|
||||
select -assert-count 2 dffsr0/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsr0/t:$_OR_
|
||||
select -assert-count 1 dffsre0/t:$_AND_
|
||||
select -assert-count 3 dffsre0/t:$_ANDNOT_
|
||||
select -assert-count 1 dffsre0/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dffsr0/* dffsre0/* %u %n %i
|
||||
select -assert-none t:$_DFFSRE_PPPP_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
|
@ -0,0 +1,42 @@
|
|||
read_verilog -icells <<EOT
|
||||
|
||||
module dlatch(input E, D, output [1:0] Q);
|
||||
$_DLATCH_P_ ff0 (.E(E), .D(D), .Q(Q[0]));
|
||||
$_DLATCH_N_ ff1 (.E(E), .D(D), .Q(Q[1]));
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
design -save orig
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_P_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP0_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCHSR_PPP_ x
|
||||
|
||||
# Convert everything to DFFs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_P_ x
|
||||
|
||||
select -assert-count 1 t:$_NOT_
|
||||
select -assert-count 2 t:$_DLATCH_P_
|
||||
select -assert-none t:$_DLATCH_P_ t:$_NOT_ %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to ADLATCHs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP0_ x
|
||||
|
||||
select -assert-count 1 t:$_NOT_
|
||||
select -assert-count 2 t:$_DLATCH_PP0_
|
||||
select -assert-none t:$_DLATCH_PP0_ t:$_NOT_ %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DLATCHSRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCHSR_PPP_ x
|
||||
|
||||
select -assert-count 1 t:$_NOT_
|
||||
select -assert-count 2 t:$_DLATCHSR_PPP_
|
||||
select -assert-none t:$_DLATCHSR_PPP_ t:$_NOT_ %% %n t:* %i
|
||||
|
|
@ -0,0 +1,82 @@
|
|||
read_verilog -icells <<EOT
|
||||
|
||||
module dlatch(input E, D, (* init = 2'h0 *) output [1:0] Q);
|
||||
$_DLATCH_P_ ff0 (.E(E), .D(D), .Q(Q[0]));
|
||||
$_DLATCH_N_ ff1 (.E(E), .D(D), .Q(Q[1]));
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
design -save orig
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_P_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_P_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP0_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP0_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP1_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP1_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCHSR_PPP_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCHSR_PPP_ 1
|
||||
|
||||
# Convert everything to DFFs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_P_ 0
|
||||
|
||||
select -assert-count 1 t:$_NOT_
|
||||
select -assert-count 2 t:$_DLATCH_P_
|
||||
select -assert-none t:$_DLATCH_P_ t:$_NOT_ %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_P_ 1
|
||||
|
||||
select -assert-count 5 t:$_NOT_
|
||||
select -assert-count 2 t:$_DLATCH_P_
|
||||
select -assert-none t:$_DLATCH_P_ t:$_NOT_ %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to ADLATCHs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP0_ 0
|
||||
|
||||
select -assert-count 1 t:$_NOT_
|
||||
select -assert-count 2 t:$_DLATCH_PP0_
|
||||
select -assert-none t:$_DLATCH_PP0_ t:$_NOT_ %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP0_ 1
|
||||
|
||||
select -assert-count 5 t:$_NOT_
|
||||
select -assert-count 2 t:$_DLATCH_PP0_
|
||||
select -assert-none t:$_DLATCH_PP0_ t:$_NOT_ %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP1_ 0
|
||||
|
||||
select -assert-count 1 t:$_NOT_
|
||||
select -assert-count 2 t:$_DLATCH_PP1_
|
||||
select -assert-none t:$_DLATCH_PP1_ t:$_NOT_ %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP1_ 1
|
||||
|
||||
select -assert-count 5 t:$_NOT_
|
||||
select -assert-count 2 t:$_DLATCH_PP1_
|
||||
select -assert-none t:$_DLATCH_PP1_ t:$_NOT_ %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DLATCHSRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCHSR_PPP_ 0
|
||||
|
||||
select -assert-count 1 t:$_NOT_
|
||||
select -assert-count 2 t:$_DLATCHSR_PPP_
|
||||
select -assert-none t:$_DLATCHSR_PPP_ t:$_NOT_ %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCHSR_PPP_ 1
|
||||
|
||||
select -assert-count 5 t:$_NOT_
|
||||
select -assert-count 2 t:$_DLATCHSR_PPP_
|
||||
select -assert-none t:$_DLATCHSR_PPP_ t:$_NOT_ %% %n t:* %i
|
||||
|
|
@ -0,0 +1,37 @@
|
|||
read_verilog -icells <<EOT
|
||||
|
||||
module dlatchsr(input E, R, S, D, output [3:0] Q);
|
||||
$_DLATCHSR_PPP_ ff0 (.E(E), .R(R), .S(S), .D(D), .Q(Q[0]));
|
||||
$_DLATCHSR_PPN_ ff1 (.E(E), .R(R), .S(S), .D(D), .Q(Q[1]));
|
||||
$_DLATCHSR_PNP_ ff2 (.E(E), .R(R), .S(S), .D(D), .Q(Q[2]));
|
||||
$_DLATCHSR_NPP_ ff3 (.E(E), .R(R), .S(S), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
design -save orig
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP0_ x -cell $_SR_PP_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCHSR_PPP_ x
|
||||
|
||||
|
||||
# Convert everything to ADLATCHs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP0_ x -cell $_SR_PP_ x
|
||||
|
||||
select -assert-count 14 t:$_NOT_
|
||||
select -assert-count 4 t:$_MUX_
|
||||
select -assert-count 8 t:$_DLATCH_PP0_
|
||||
select -assert-count 4 t:$_SR_PP_
|
||||
select -assert-none t:$_DLATCH_PP0_ t:$_SR_PP_ t:$_MUX_ t:$_NOT_ %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DLATCHSRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCHSR_PPP_ x
|
||||
|
||||
select -assert-count 3 t:$_NOT_
|
||||
select -assert-count 0 t:$_MUX_
|
||||
select -assert-count 4 t:$_DLATCHSR_PPP_
|
||||
select -assert-none t:$_DLATCHSR_PPP_ t:$_MUX_ t:$_NOT_ %% %n t:* %i
|
||||
|
|
@ -0,0 +1,127 @@
|
|||
read_verilog -icells <<EOT
|
||||
|
||||
module dlatchsr0(input E, R, S, D, (* init = 4'h0 *) output [3:0] Q);
|
||||
$_DLATCHSR_PPP_ ff0 (.E(E), .R(R), .S(S), .D(D), .Q(Q[0]));
|
||||
$_DLATCHSR_PPN_ ff1 (.E(E), .R(R), .S(S), .D(D), .Q(Q[1]));
|
||||
$_DLATCHSR_PNP_ ff2 (.E(E), .R(R), .S(S), .D(D), .Q(Q[2]));
|
||||
$_DLATCHSR_NPP_ ff3 (.E(E), .R(R), .S(S), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
module dlatchsr1(input E, R, S, D, (* init = 4'hf *) output [3:0] Q);
|
||||
$_DLATCHSR_PPP_ ff0 (.E(E), .R(R), .S(S), .D(D), .Q(Q[0]));
|
||||
$_DLATCHSR_PPN_ ff1 (.E(E), .R(R), .S(S), .D(D), .Q(Q[1]));
|
||||
$_DLATCHSR_PNP_ ff2 (.E(E), .R(R), .S(S), .D(D), .Q(Q[2]));
|
||||
$_DLATCHSR_NPP_ ff3 (.E(E), .R(R), .S(S), .D(D), .Q(Q[3]));
|
||||
endmodule
|
||||
|
||||
module top(input C, E, R, S, D, output [17:0] Q);
|
||||
dlatchsr0 dlatchsr0_(.E(E), .R(R), .S(S), .D(D), .Q(Q[3:0]));
|
||||
dlatchsr1 dlatchsr1_(.E(E), .R(R), .S(S), .D(D), .Q(Q[7:4]));
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
design -save orig
|
||||
flatten
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP0_ 0
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP0_ 1
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP1_ 0
|
||||
#equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP1_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCHSR_PPP_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCHSR_PPP_ 1
|
||||
|
||||
|
||||
# Convert everything to ADLATCHs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP0_ 0
|
||||
|
||||
select -assert-count 14 dlatchsr0/t:$_NOT_
|
||||
select -assert-count 18 dlatchsr1/t:$_NOT_
|
||||
select -assert-count 4 dlatchsr0/t:$_MUX_
|
||||
select -assert-count 4 dlatchsr1/t:$_MUX_
|
||||
select -assert-count 12 dlatchsr0/t:$_DLATCH_PP0_
|
||||
select -assert-count 12 dlatchsr1/t:$_DLATCH_PP0_
|
||||
select -assert-count 1 dlatchsr1/t:$_AND_
|
||||
select -assert-count 2 dlatchsr1/t:$_ANDNOT_
|
||||
select -assert-count 1 dlatchsr1/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dlatchsr1/* %n %i
|
||||
select -assert-none t:$_DLATCH_PP0_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP0_ 1
|
||||
|
||||
select -assert-count 14 dlatchsr0/t:$_NOT_
|
||||
select -assert-count 18 dlatchsr1/t:$_NOT_
|
||||
select -assert-count 4 dlatchsr0/t:$_MUX_
|
||||
select -assert-count 4 dlatchsr1/t:$_MUX_
|
||||
select -assert-count 12 dlatchsr0/t:$_DLATCH_PP0_
|
||||
select -assert-count 12 dlatchsr1/t:$_DLATCH_PP0_
|
||||
select -assert-count 1 dlatchsr1/t:$_AND_
|
||||
select -assert-count 2 dlatchsr1/t:$_ANDNOT_
|
||||
select -assert-count 1 dlatchsr1/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dlatchsr1/* %n %i
|
||||
select -assert-none t:$_DLATCH_PP0_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP1_ 0
|
||||
|
||||
select -assert-count 22 dlatchsr0/t:$_NOT_
|
||||
select -assert-count 26 dlatchsr1/t:$_NOT_
|
||||
select -assert-count 4 dlatchsr0/t:$_MUX_
|
||||
select -assert-count 4 dlatchsr1/t:$_MUX_
|
||||
select -assert-count 12 dlatchsr0/t:$_DLATCH_PP1_
|
||||
select -assert-count 12 dlatchsr1/t:$_DLATCH_PP1_
|
||||
select -assert-count 1 dlatchsr1/t:$_AND_
|
||||
select -assert-count 2 dlatchsr1/t:$_ANDNOT_
|
||||
select -assert-count 1 dlatchsr1/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dlatchsr1/* %n %i
|
||||
select -assert-none t:$_DLATCH_PP1_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP1_ 1
|
||||
|
||||
select -assert-count 22 dlatchsr0/t:$_NOT_
|
||||
select -assert-count 26 dlatchsr1/t:$_NOT_
|
||||
select -assert-count 4 dlatchsr0/t:$_MUX_
|
||||
select -assert-count 4 dlatchsr1/t:$_MUX_
|
||||
select -assert-count 12 dlatchsr0/t:$_DLATCH_PP1_
|
||||
select -assert-count 12 dlatchsr1/t:$_DLATCH_PP1_
|
||||
select -assert-count 1 dlatchsr1/t:$_AND_
|
||||
select -assert-count 2 dlatchsr1/t:$_ANDNOT_
|
||||
select -assert-count 1 dlatchsr1/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dlatchsr1/* %n %i
|
||||
select -assert-none t:$_DLATCH_PP1_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DLATCHSRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCHSR_PPP_ 0
|
||||
|
||||
select -assert-count 3 dlatchsr0/t:$_NOT_
|
||||
select -assert-count 11 dlatchsr1/t:$_NOT_
|
||||
select -assert-count 0 dlatchsr0/t:$_MUX_
|
||||
select -assert-count 0 dlatchsr1/t:$_MUX_
|
||||
select -assert-count 4 dlatchsr0/t:$_DLATCHSR_PPP_
|
||||
select -assert-count 4 dlatchsr1/t:$_DLATCHSR_PPP_
|
||||
select -assert-count 1 dlatchsr1/t:$_AND_
|
||||
select -assert-count 2 dlatchsr1/t:$_ANDNOT_
|
||||
select -assert-count 1 dlatchsr1/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dlatchsr1/* %n %i
|
||||
select -assert-none t:$_DLATCHSR_PPP_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCHSR_PPP_ 1
|
||||
|
||||
select -assert-count 11 dlatchsr0/t:$_NOT_
|
||||
select -assert-count 3 dlatchsr1/t:$_NOT_
|
||||
select -assert-count 0 dlatchsr0/t:$_MUX_
|
||||
select -assert-count 0 dlatchsr1j/t:$_MUX_
|
||||
select -assert-count 4 dlatchsr0/t:$_DLATCHSR_PPP_
|
||||
select -assert-count 4 dlatchsr1/t:$_DLATCHSR_PPP_
|
||||
select -assert-count 1 dlatchsr0/t:$_AND_
|
||||
select -assert-count 2 dlatchsr0/t:$_ANDNOT_
|
||||
select -assert-count 1 dlatchsr0/t:$_OR_
|
||||
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_ANDNOT_ %% dlatchsr0/* %n %i
|
||||
select -assert-none t:$_DLATCHSR_PPP_ t:$_MUX_ t:$_NOT_ t:$_AND_ t:$_ANDNOT_ t:$_OR_ top/* %% %n t:* %i
|
||||
|
|
@ -0,0 +1,178 @@
|
|||
# Base test: make sure inverters are applied correctly.
|
||||
|
||||
read_verilog -icells <<EOT
|
||||
|
||||
module top(input C, E, R, S, D, output [64:0] Q);
|
||||
|
||||
$_DFF_P_ ff0 (.C(C), .D(D), .Q(Q[0]));
|
||||
$_DFF_N_ ff1 (.C(C), .D(D), .Q(Q[1]));
|
||||
|
||||
$_DFFE_PP_ ff2 (.C(C), .E(E), .D(D), .Q(Q[2]));
|
||||
$_DFFE_PN_ ff3 (.C(C), .E(E), .D(D), .Q(Q[3]));
|
||||
$_DFFE_NP_ ff4 (.C(C), .E(E), .D(D), .Q(Q[4]));
|
||||
|
||||
$_DFF_PP0_ ff5 (.C(C), .R(R), .D(D), .Q(Q[5]));
|
||||
$_DFF_PN0_ ff6 (.C(C), .R(R), .D(D), .Q(Q[6]));
|
||||
$_DFF_NP0_ ff7 (.C(C), .R(R), .D(D), .Q(Q[7]));
|
||||
|
||||
$_DFF_PP1_ ff8 (.C(C), .R(R), .D(D), .Q(Q[8]));
|
||||
$_DFF_PN1_ ff9 (.C(C), .R(R), .D(D), .Q(Q[9]));
|
||||
$_DFF_NP1_ ff10 (.C(C), .R(R), .D(D), .Q(Q[10]));
|
||||
|
||||
$_DFFE_PP0P_ ff11 (.C(C), .R(R), .E(E), .D(D), .Q(Q[11]));
|
||||
$_DFFE_PP0N_ ff12 (.C(C), .R(R), .E(E), .D(D), .Q(Q[12]));
|
||||
$_DFFE_PN0P_ ff13 (.C(C), .R(R), .E(E), .D(D), .Q(Q[13]));
|
||||
$_DFFE_NP0P_ ff14 (.C(C), .R(R), .E(E), .D(D), .Q(Q[14]));
|
||||
|
||||
$_DFFE_PP1P_ ff15 (.C(C), .R(R), .E(E), .D(D), .Q(Q[15]));
|
||||
$_DFFE_PP1N_ ff16 (.C(C), .R(R), .E(E), .D(D), .Q(Q[16]));
|
||||
$_DFFE_PN1P_ ff17 (.C(C), .R(R), .E(E), .D(D), .Q(Q[17]));
|
||||
$_DFFE_NP1P_ ff18 (.C(C), .R(R), .E(E), .D(D), .Q(Q[18]));
|
||||
|
||||
$_DFFSR_PPP_ ff19 (.C(C), .R(R), .S(S), .D(D), .Q(Q[19]));
|
||||
$_DFFSR_PPN_ ff20 (.C(C), .R(R), .S(S), .D(D), .Q(Q[20]));
|
||||
$_DFFSR_PNP_ ff21 (.C(C), .R(R), .S(S), .D(D), .Q(Q[21]));
|
||||
$_DFFSR_NPP_ ff22 (.C(C), .R(R), .S(S), .D(D), .Q(Q[22]));
|
||||
|
||||
$_DFFSRE_PPPP_ ff23 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[23]));
|
||||
$_DFFSRE_PPPN_ ff24 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[24]));
|
||||
$_DFFSRE_PPNP_ ff25 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[25]));
|
||||
$_DFFSRE_PNPP_ ff26 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[26]));
|
||||
$_DFFSRE_NPPP_ ff27 (.C(C), .R(R), .S(S), .E(E), .D(D), .Q(Q[27]));
|
||||
|
||||
$_SDFF_PP0_ ff28 (.C(C), .R(R), .D(D), .Q(Q[28]));
|
||||
$_SDFF_PN0_ ff29 (.C(C), .R(R), .D(D), .Q(Q[29]));
|
||||
$_SDFF_NP0_ ff30 (.C(C), .R(R), .D(D), .Q(Q[30]));
|
||||
|
||||
$_SDFF_PP1_ ff31 (.C(C), .R(R), .D(D), .Q(Q[31]));
|
||||
$_SDFF_PN1_ ff32 (.C(C), .R(R), .D(D), .Q(Q[32]));
|
||||
$_SDFF_NP1_ ff33 (.C(C), .R(R), .D(D), .Q(Q[33]));
|
||||
|
||||
$_SDFFE_PP0P_ ff34 (.C(C), .R(R), .E(E), .D(D), .Q(Q[34]));
|
||||
$_SDFFE_PP0N_ ff35 (.C(C), .R(R), .E(E), .D(D), .Q(Q[35]));
|
||||
$_SDFFE_PN0P_ ff36 (.C(C), .R(R), .E(E), .D(D), .Q(Q[36]));
|
||||
$_SDFFE_NP0P_ ff37 (.C(C), .R(R), .E(E), .D(D), .Q(Q[37]));
|
||||
|
||||
$_SDFFE_PP1P_ ff38 (.C(C), .R(R), .E(E), .D(D), .Q(Q[38]));
|
||||
$_SDFFE_PP1N_ ff39 (.C(C), .R(R), .E(E), .D(D), .Q(Q[39]));
|
||||
$_SDFFE_PN1P_ ff40 (.C(C), .R(R), .E(E), .D(D), .Q(Q[40]));
|
||||
$_SDFFE_NP1P_ ff41 (.C(C), .R(R), .E(E), .D(D), .Q(Q[41]));
|
||||
|
||||
$_SDFFCE_PP0P_ ff42 (.C(C), .R(R), .E(E), .D(D), .Q(Q[42]));
|
||||
$_SDFFCE_PP0N_ ff43 (.C(C), .R(R), .E(E), .D(D), .Q(Q[43]));
|
||||
$_SDFFCE_PN0P_ ff44 (.C(C), .R(R), .E(E), .D(D), .Q(Q[44]));
|
||||
$_SDFFCE_NP0P_ ff45 (.C(C), .R(R), .E(E), .D(D), .Q(Q[45]));
|
||||
|
||||
$_SDFFCE_PP1P_ ff46 (.C(C), .R(R), .E(E), .D(D), .Q(Q[46]));
|
||||
$_SDFFCE_PP1N_ ff47 (.C(C), .R(R), .E(E), .D(D), .Q(Q[47]));
|
||||
$_SDFFCE_PN1P_ ff48 (.C(C), .R(R), .E(E), .D(D), .Q(Q[48]));
|
||||
$_SDFFCE_NP1P_ ff49 (.C(C), .R(R), .E(E), .D(D), .Q(Q[49]));
|
||||
|
||||
$_DLATCH_P_ ff50 (.E(E), .D(D), .Q(Q[50]));
|
||||
$_DLATCH_N_ ff51 (.E(E), .D(D), .Q(Q[51]));
|
||||
|
||||
$_DLATCH_PP0_ ff52 (.E(E), .R(R), .D(D), .Q(Q[52]));
|
||||
$_DLATCH_PN0_ ff53 (.E(E), .R(R), .D(D), .Q(Q[53]));
|
||||
$_DLATCH_NP0_ ff54 (.E(E), .R(R), .D(D), .Q(Q[54]));
|
||||
|
||||
$_DLATCH_PP1_ ff55 (.E(E), .R(R), .D(D), .Q(Q[55]));
|
||||
$_DLATCH_PN1_ ff56 (.E(E), .R(R), .D(D), .Q(Q[56]));
|
||||
$_DLATCH_NP1_ ff57 (.E(E), .R(R), .D(D), .Q(Q[57]));
|
||||
|
||||
$_DLATCHSR_PPP_ ff58 (.E(E), .R(R), .S(S), .D(D), .Q(Q[58]));
|
||||
$_DLATCHSR_PPN_ ff59 (.E(E), .R(R), .S(S), .D(D), .Q(Q[59]));
|
||||
$_DLATCHSR_PNP_ ff60 (.E(E), .R(R), .S(S), .D(D), .Q(Q[60]));
|
||||
$_DLATCHSR_NPP_ ff61 (.E(E), .R(R), .S(S), .D(D), .Q(Q[61]));
|
||||
|
||||
$_SR_PP_ ff62 (.R(R), .S(S), .Q(Q[62]));
|
||||
$_SR_PN_ ff63 (.R(R), .S(S), .Q(Q[63]));
|
||||
$_SR_NP_ ff64 (.R(R), .S(S), .Q(Q[64]));
|
||||
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
design -save orig
|
||||
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_P_ x -cell $_DFFE_PP_ x -cell $_DFF_PP?_ x -cell $_DFFE_PP?P_ x -cell $_DFFSR_PPP_ x -cell $_DFFSRE_PPPP_ x -cell $_SDFF_PP?_ x -cell $_SDFFE_PP?P_ x -cell $_SDFFCE_PP?P_ x -cell $_DLATCH_P_ x -cell $_DLATCH_PP?_ x -cell $_DLATCHSR_PPP_ x -cell $_SR_PP_ x
|
||||
design -load postopt
|
||||
|
||||
select -assert-count 46 t:$_NOT_
|
||||
select -assert-count 2 t:$_DFF_P_
|
||||
select -assert-count 3 t:$_DFFE_PP_
|
||||
select -assert-count 3 t:$_DFF_PP0_
|
||||
select -assert-count 3 t:$_DFF_PP1_
|
||||
select -assert-count 4 t:$_DFFE_PP0P_
|
||||
select -assert-count 4 t:$_DFFE_PP1P_
|
||||
select -assert-count 4 t:$_DFFSR_PPP_
|
||||
select -assert-count 5 t:$_DFFSRE_PPPP_
|
||||
select -assert-count 3 t:$_SDFF_PP0_
|
||||
select -assert-count 3 t:$_SDFF_PP1_
|
||||
select -assert-count 4 t:$_SDFFE_PP0P_
|
||||
select -assert-count 4 t:$_SDFFE_PP1P_
|
||||
select -assert-count 4 t:$_SDFFCE_PP0P_
|
||||
select -assert-count 4 t:$_SDFFCE_PP1P_
|
||||
select -assert-count 2 t:$_DLATCH_P_
|
||||
select -assert-count 3 t:$_DLATCH_PP0_
|
||||
select -assert-count 3 t:$_DLATCH_PP1_
|
||||
select -assert-count 4 t:$_DLATCHSR_PPP_
|
||||
select -assert-count 3 t:$_SR_PP_
|
||||
select -assert-none t:$_DFF_P_ t:$_DFFE_PP_ t:$_DFF_PP?_ t:$_DFFE_PP?P_ t:$_DFFSR_PPP_ t:$_DFFSRE_PPPP_ t:$_SDFF_PP?_ t:$_SDFFE_PP?P_ t:$_SDFFCE_PP?P_ t:$_DLATCH_P_ t:$_DLATCH_PP?_ t:$_DLATCHSR_PPP_ t:$_SR_PP_ t:$_NOT_ %% %n t:* %i
|
||||
|
||||
# Now try it again, targetting the opposite cells.
|
||||
|
||||
design -load orig
|
||||
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_N_ x -cell $_DFFE_NN_ x -cell $_DFF_NN?_ x -cell $_DFFE_NN?N_ x -cell $_DFFSR_NNN_ x -cell $_DFFSRE_NNNN_ x -cell $_SDFF_NN?_ x -cell $_SDFFE_NN?N_ x -cell $_SDFFCE_NN?N_ x -cell $_DLATCH_N_ x -cell $_DLATCH_NN?_ x -cell $_DLATCHSR_NNN_ x -cell $_SR_NN_ x
|
||||
design -load postopt
|
||||
|
||||
select -assert-count 122 t:$_NOT_
|
||||
select -assert-count 2 t:$_DFF_N_
|
||||
select -assert-count 3 t:$_DFFE_NN_
|
||||
select -assert-count 3 t:$_DFF_NN0_
|
||||
select -assert-count 3 t:$_DFF_NN1_
|
||||
select -assert-count 4 t:$_DFFE_NN0N_
|
||||
select -assert-count 4 t:$_DFFE_NN1N_
|
||||
select -assert-count 4 t:$_DFFSR_NNN_
|
||||
select -assert-count 5 t:$_DFFSRE_NNNN_
|
||||
select -assert-count 3 t:$_SDFF_NN0_
|
||||
select -assert-count 3 t:$_SDFF_NN1_
|
||||
select -assert-count 4 t:$_SDFFE_NN0N_
|
||||
select -assert-count 4 t:$_SDFFE_NN1N_
|
||||
select -assert-count 4 t:$_SDFFCE_NN0N_
|
||||
select -assert-count 4 t:$_SDFFCE_NN1N_
|
||||
select -assert-count 2 t:$_DLATCH_N_
|
||||
select -assert-count 3 t:$_DLATCH_NN0_
|
||||
select -assert-count 3 t:$_DLATCH_NN1_
|
||||
select -assert-count 4 t:$_DLATCHSR_NNN_
|
||||
select -assert-count 3 t:$_SR_NN_
|
||||
select -assert-none t:$_DFF_N_ t:$_DFFE_NN_ t:$_DFF_NN?_ t:$_DFFE_NN?N_ t:$_DFFSR_NNN_ t:$_DFFSRE_NNNN_ t:$_SDFF_NN?_ t:$_SDFFE_NN?N_ t:$_SDFFCE_NN?N_ t:$_DLATCH_N_ t:$_DLATCH_NN?_ t:$_DLATCHSR_NNN_ t:$_SR_NN_ t:$_NOT_ %% %n t:* %i
|
||||
|
||||
|
||||
# Second test: make sure set/reset/enable are inverted before clock.
|
||||
|
||||
design -reset
|
||||
|
||||
read_verilog -icells <<EOT
|
||||
|
||||
module top(input C, E, R, S, D, output [3:0] Q);
|
||||
|
||||
$_DFFSRE_PPPP_ ff0 (.C(C), .E(E), .R(R), .S(S), .D(D), .Q(Q[0]));
|
||||
$_DFFSRE_NPPP_ ff1 (.C(C), .E(E), .R(R), .S(S), .D(D), .Q(Q[1]));
|
||||
$_DFFSRE_PNNN_ ff2 (.C(C), .E(E), .R(R), .S(S), .D(D), .Q(Q[2]));
|
||||
$_DFFSRE_NNNN_ ff3 (.C(C), .E(E), .R(R), .S(S), .D(D), .Q(Q[3]));
|
||||
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSRE_NNNN_ x -cell $_DFFSRE_PPPP_ x
|
||||
design -load postopt
|
||||
|
||||
select -assert-count 6 t:$_NOT_
|
||||
select -assert-count 2 t:$_DFFSRE_PPPP_
|
||||
select -assert-count 2 t:$_DFFSRE_NNNN_
|
||||
select -assert-count 1 t:$_DFFSRE_PPPP_ n:ff0 %i
|
||||
select -assert-count 1 t:$_DFFSRE_NNNN_ n:ff1 %i
|
||||
select -assert-count 1 t:$_DFFSRE_PPPP_ n:ff2 %i
|
||||
select -assert-count 1 t:$_DFFSRE_NNNN_ n:ff3 %i
|
||||
|
|
@ -0,0 +1,53 @@
|
|||
read_verilog -icells <<EOT
|
||||
|
||||
module top(input D, C, R, S, input [4:0] E, output [15:0] Q);
|
||||
$_DFFE_PP_ ff0(.D(D), .C(C), .E(E[0]), .Q(Q[0]));
|
||||
$_DFFE_PP0P_ ff1(.D(D), .C(C), .E(E[0]), .R(R), .Q(Q[1]));
|
||||
$_DFFE_PP1P_ ff2(.D(D), .C(C), .E(E[0]), .R(R), .Q(Q[2]));
|
||||
$_SDFFE_PP0P_ ff3(.D(D), .C(C), .E(E[0]), .R(R), .Q(Q[3]));
|
||||
$_SDFFE_PP1P_ ff4(.D(D), .C(C), .E(E[0]), .R(R), .Q(Q[4]));
|
||||
$_SDFFCE_PP0P_ ff5(.D(D), .C(C), .E(E[0]), .R(R), .Q(Q[5]));
|
||||
$_SDFFCE_PP1P_ ff6(.D(D), .C(C), .E(E[0]), .R(R), .Q(Q[6]));
|
||||
$_DFFSRE_PPPP_ ff7(.D(D), .C(C), .E(E[0]), .R(R), .S(S), .Q(Q[7]));
|
||||
$_DFFE_PP_ ff8(.D(D), .C(C), .E(E[1]), .Q(Q[8]));
|
||||
$_DFFE_PP0P_ ff9(.D(D), .C(C), .E(E[1]), .R(R), .Q(Q[9]));
|
||||
$_DFFE_PP1P_ ff10(.D(D), .C(C), .E(E[2]), .R(R), .Q(Q[10]));
|
||||
$_SDFFE_PP0P_ ff11(.D(D), .C(C), .E(E[2]), .R(R), .Q(Q[11]));
|
||||
$_SDFFE_PP1P_ ff12(.D(D), .C(C), .E(E[3]), .R(R), .Q(Q[12]));
|
||||
$_SDFFCE_PP0P_ ff13(.D(D), .C(C), .E(E[3]), .R(R), .Q(Q[13]));
|
||||
$_SDFFCE_PP1P_ ff14(.D(D), .C(C), .E(E[4]), .R(R), .Q(Q[14]));
|
||||
$_DFFSRE_PPPP_ ff15(.D(D), .C(C), .E(E[4]), .R(R), .S(S), .Q(Q[15]));
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
design -save orig
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP_ x -cell $_DFFE_PP?P_ x -cell $_DFFSRE_PPPP_ x -cell $_SDFFE_PP?P_ x -cell $_SDFFCE_PP?P_ x -mince 3
|
||||
design -load postopt
|
||||
|
||||
select -assert-count 4 t:$_DFFE_PP_
|
||||
select -assert-count 2 t:$_DFFE_PP0P_
|
||||
select -assert-count 2 t:$_DFFE_PP1P_
|
||||
select -assert-count 2 t:$_SDFFE_PP0P_
|
||||
select -assert-count 2 t:$_SDFFE_PP1P_
|
||||
select -assert-count 1 t:$_SDFFCE_PP0P_
|
||||
select -assert-count 1 t:$_SDFFCE_PP1P_
|
||||
select -assert-count 2 t:$_DFFSRE_PPPP_
|
||||
select -assert-count 10 t:$_MUX_
|
||||
select -assert-count 0 n:ff0 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 0 n:ff1 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 0 n:ff2 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 0 n:ff3 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 0 n:ff4 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 0 n:ff5 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 0 n:ff6 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 0 n:ff7 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 1 n:ff8 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 1 n:ff9 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 1 n:ff10 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 1 n:ff11 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 1 n:ff12 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 1 n:ff13 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 1 n:ff14 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 1 n:ff15 %ci %ci t:$_MUX_ %i
|
||||
select -assert-none n:ff* t:$_MUX_ %% %n t:* %i
|
||||
|
|
@ -0,0 +1,43 @@
|
|||
read_verilog -icells <<EOT
|
||||
|
||||
module top(input D, C, E, input [3:0] R, output [11:0] Q);
|
||||
$_SDFF_PP0_ ff0(.D(D), .C(C), .R(R[0]), .Q(Q[0]));
|
||||
$_SDFF_PP1_ ff1(.D(D), .C(C), .R(R[0]), .Q(Q[1]));
|
||||
$_SDFFE_PP0P_ ff2(.D(D), .C(C), .R(R[0]), .E(E), .Q(Q[2]));
|
||||
$_SDFFE_PP1P_ ff3(.D(D), .C(C), .R(R[0]), .E(E), .Q(Q[3]));
|
||||
$_SDFFCE_PP0P_ ff4(.D(D), .C(C), .R(R[0]), .E(E), .Q(Q[4]));
|
||||
$_SDFFCE_PP1P_ ff5(.D(D), .C(C), .R(R[0]), .E(E), .Q(Q[5]));
|
||||
$_SDFF_PP0_ ff6(.D(D), .C(C), .R(R[1]), .Q(Q[6]));
|
||||
$_SDFF_PP1_ ff7(.D(D), .C(C), .R(R[1]), .Q(Q[7]));
|
||||
$_SDFFE_PP0P_ ff8(.D(D), .C(C), .R(R[2]), .E(E), .Q(Q[8]));
|
||||
$_SDFFE_PP1P_ ff9(.D(D), .C(C), .R(R[2]), .E(E), .Q(Q[9]));
|
||||
$_SDFFCE_PP0P_ ff10(.D(D), .C(C), .R(R[3]), .E(E), .Q(Q[10]));
|
||||
$_SDFFCE_PP1P_ ff11(.D(D), .C(C), .R(R[3]), .E(E), .Q(Q[11]));
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
design -save orig
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFF_PP?_ x -cell $_SDFFE_PP?P_ x -cell $_SDFFCE_PP?P_ x -minsrst 3
|
||||
design -load postopt
|
||||
|
||||
select -assert-count 5 t:$_SDFF_PP0_
|
||||
select -assert-count 1 t:$_SDFF_PP1_
|
||||
select -assert-count 3 t:$_SDFFE_PP0P_
|
||||
select -assert-count 1 t:$_SDFFE_PP1P_
|
||||
select -assert-count 1 t:$_SDFFCE_PP0P_
|
||||
select -assert-count 1 t:$_SDFFCE_PP1P_
|
||||
select -assert-count 8 t:$_MUX_
|
||||
select -assert-count 0 n:ff0 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 0 n:ff1 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 0 n:ff2 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 0 n:ff3 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 0 n:ff4 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 0 n:ff5 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 1 n:ff6 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 1 n:ff7 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 1 n:ff8 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 1 n:ff9 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 1 n:ff10 %ci %ci t:$_MUX_ %i
|
||||
select -assert-count 1 n:ff11 %ci %ci t:$_MUX_ %i
|
||||
select -assert-none n:ff* t:$_MUX_ %% %n t:* %i
|
||||
|
|
@ -0,0 +1,74 @@
|
|||
read_verilog -icells <<EOT
|
||||
|
||||
module sr(input R, S, output [2:0] Q);
|
||||
$_SR_PP_ ff0 (.R(R), .S(S), .Q(Q[0]));
|
||||
$_SR_PN_ ff1 (.R(R), .S(S), .Q(Q[1]));
|
||||
$_SR_NP_ ff2 (.R(R), .S(S), .Q(Q[2]));
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
design -save orig
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SR_PP_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP0_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP1_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCHSR_PPP_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSR_PPP_ x
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSRE_PPPP_ x
|
||||
|
||||
|
||||
# Convert everything to SRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SR_PP_ x
|
||||
|
||||
select -assert-count 2 t:$_NOT_
|
||||
select -assert-count 3 t:$_SR_PP_
|
||||
select -assert-none t:$_SR_PP_ t:$_NOT_ %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to ADLATCHs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP0_ x
|
||||
|
||||
select -assert-count 2 t:$_NOT_
|
||||
select -assert-count 3 t:$_DLATCH_PP0_
|
||||
select -assert-none t:$_DLATCH_PP0_ t:$_NOT_ %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP1_ x
|
||||
|
||||
select -assert-count 8 t:$_NOT_
|
||||
select -assert-count 3 t:$_DLATCH_PP1_
|
||||
select -assert-none t:$_DLATCH_PP1_ t:$_NOT_ %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DLATCHSRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCHSR_PPP_ x
|
||||
|
||||
select -assert-count 2 t:$_NOT_
|
||||
select -assert-count 3 t:$_DLATCHSR_PPP_
|
||||
select -assert-none t:$_DLATCHSR_PPP_ t:$_NOT_ %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFSRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSR_PPP_ x
|
||||
|
||||
select -assert-count 2 t:$_NOT_
|
||||
select -assert-count 3 t:$_DFFSR_PPP_
|
||||
select -assert-none t:$_DFFSR_PPP_ t:$_NOT_ %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFSREs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSRE_PPPP_ x
|
||||
|
||||
select -assert-count 2 t:$_NOT_
|
||||
select -assert-count 3 t:$_DFFSRE_PPPP_
|
||||
select -assert-none t:$_DFFSRE_PPPP_ t:$_NOT_ %% %n t:* %i
|
||||
|
|
@ -0,0 +1,230 @@
|
|||
read_verilog -icells <<EOT
|
||||
|
||||
module sr0(input R, S, (* init = 3'h0 *) output [2:0] Q);
|
||||
$_SR_PP_ ff0 (.R(R), .S(S), .Q(Q[0]));
|
||||
$_SR_PN_ ff1 (.R(R), .S(S), .Q(Q[1]));
|
||||
$_SR_NP_ ff2 (.R(R), .S(S), .Q(Q[2]));
|
||||
endmodule
|
||||
|
||||
module sr1(input R, S, (* init = 3'h7 *) output [2:0] Q);
|
||||
$_SR_PP_ ff0 (.R(R), .S(S), .Q(Q[0]));
|
||||
$_SR_PN_ ff1 (.R(R), .S(S), .Q(Q[1]));
|
||||
$_SR_NP_ ff2 (.R(R), .S(S), .Q(Q[2]));
|
||||
endmodule
|
||||
|
||||
module top(input C, E, R, D, output [5:0] Q);
|
||||
sr0 sr0_(.S(S), .R(R), .Q(Q[2:0]));
|
||||
sr1 sr1_(.S(S), .R(R), .Q(Q[5:3]));
|
||||
endmodule
|
||||
|
||||
EOT
|
||||
|
||||
design -save orig
|
||||
flatten
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SR_PP_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SR_PP_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP0_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP0_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP1_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCH_PP1_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCHSR_PPP_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DLATCHSR_PPP_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSR_PPP_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSR_PPP_ 1
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSRE_PPPP_ 0
|
||||
equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSRE_PPPP_ 1
|
||||
|
||||
|
||||
# Convert everything to SRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SR_PP_ 0
|
||||
|
||||
select -assert-count 2 sr0/t:$_NOT_
|
||||
select -assert-count 5 sr1/t:$_NOT_
|
||||
select -assert-count 3 sr0/t:$_SR_PP_
|
||||
select -assert-count 3 sr1/t:$_SR_PP_
|
||||
select -assert-count 0 sr0/t:$_ANDNOT_
|
||||
select -assert-count 1 sr1/t:$_ANDNOT_
|
||||
select -assert-count 0 sr0/t:$_AND_
|
||||
select -assert-count 1 sr1/t:$_AND_
|
||||
select -assert-count 0 sr0/t:$_OR_
|
||||
select -assert-count 1 sr1/t:$_OR_
|
||||
select -assert-none t:$_SR_PP_ t:$_NOT_ t:$_ANDNOT_ t:$_OR_ t:$_AND_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_SR_PP_ 1
|
||||
|
||||
select -assert-count 5 sr0/t:$_NOT_
|
||||
select -assert-count 2 sr1/t:$_NOT_
|
||||
select -assert-count 3 sr0/t:$_SR_PP_
|
||||
select -assert-count 3 sr1/t:$_SR_PP_
|
||||
select -assert-count 1 sr0/t:$_ANDNOT_
|
||||
select -assert-count 0 sr1/t:$_ANDNOT_
|
||||
select -assert-count 1 sr0/t:$_AND_
|
||||
select -assert-count 0 sr1/t:$_AND_
|
||||
select -assert-count 1 sr0/t:$_OR_
|
||||
select -assert-count 0 sr1/t:$_OR_
|
||||
select -assert-none t:$_SR_PP_ t:$_NOT_ t:$_ANDNOT_ t:$_OR_ t:$_AND_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to ADLATCHs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP0_ 0
|
||||
|
||||
select -assert-count 2 sr0/t:$_NOT_
|
||||
select -assert-count 5 sr1/t:$_NOT_
|
||||
select -assert-count 3 sr0/t:$_DLATCH_PP0_
|
||||
select -assert-count 3 sr1/t:$_DLATCH_PP0_
|
||||
select -assert-count 0 sr0/t:$_ANDNOT_
|
||||
select -assert-count 1 sr1/t:$_ANDNOT_
|
||||
select -assert-count 0 sr0/t:$_AND_
|
||||
select -assert-count 1 sr1/t:$_AND_
|
||||
select -assert-count 0 sr0/t:$_OR_
|
||||
select -assert-count 1 sr1/t:$_OR_
|
||||
select -assert-none t:$_DLATCH_PP0_ t:$_NOT_ t:$_ANDNOT_ t:$_OR_ t:$_AND_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP0_ 1
|
||||
|
||||
select -assert-count 5 sr0/t:$_NOT_
|
||||
select -assert-count 2 sr1/t:$_NOT_
|
||||
select -assert-count 3 sr0/t:$_DLATCH_PP0_
|
||||
select -assert-count 3 sr1/t:$_DLATCH_PP0_
|
||||
select -assert-count 1 sr0/t:$_ANDNOT_
|
||||
select -assert-count 0 sr1/t:$_ANDNOT_
|
||||
select -assert-count 1 sr0/t:$_AND_
|
||||
select -assert-count 0 sr1/t:$_AND_
|
||||
select -assert-count 1 sr0/t:$_OR_
|
||||
select -assert-count 0 sr1/t:$_OR_
|
||||
select -assert-none t:$_DLATCH_PP0_ t:$_NOT_ t:$_ANDNOT_ t:$_OR_ t:$_AND_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP1_ 0
|
||||
|
||||
select -assert-count 11 sr0/t:$_NOT_
|
||||
select -assert-count 8 sr1/t:$_NOT_
|
||||
select -assert-count 3 sr0/t:$_DLATCH_PP1_
|
||||
select -assert-count 3 sr1/t:$_DLATCH_PP1_
|
||||
select -assert-count 1 sr0/t:$_ANDNOT_
|
||||
select -assert-count 0 sr1/t:$_ANDNOT_
|
||||
select -assert-count 1 sr0/t:$_AND_
|
||||
select -assert-count 0 sr1/t:$_AND_
|
||||
select -assert-count 1 sr0/t:$_OR_
|
||||
select -assert-count 0 sr1/t:$_OR_
|
||||
select -assert-none t:$_DLATCH_PP1_ t:$_NOT_ t:$_ANDNOT_ t:$_OR_ t:$_AND_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCH_PP1_ 1
|
||||
|
||||
select -assert-count 8 sr0/t:$_NOT_
|
||||
select -assert-count 11 sr1/t:$_NOT_
|
||||
select -assert-count 3 sr0/t:$_DLATCH_PP1_
|
||||
select -assert-count 3 sr1/t:$_DLATCH_PP1_
|
||||
select -assert-count 0 sr0/t:$_ANDNOT_
|
||||
select -assert-count 1 sr1/t:$_ANDNOT_
|
||||
select -assert-count 0 sr0/t:$_AND_
|
||||
select -assert-count 1 sr1/t:$_AND_
|
||||
select -assert-count 0 sr0/t:$_OR_
|
||||
select -assert-count 1 sr1/t:$_OR_
|
||||
select -assert-none t:$_DLATCH_PP1_ t:$_NOT_ t:$_ANDNOT_ t:$_OR_ t:$_AND_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DLATCHSRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCHSR_PPP_ 0
|
||||
|
||||
select -assert-count 2 sr0/t:$_NOT_
|
||||
select -assert-count 5 sr1/t:$_NOT_
|
||||
select -assert-count 3 sr0/t:$_DLATCHSR_PPP_
|
||||
select -assert-count 3 sr1/t:$_DLATCHSR_PPP_
|
||||
select -assert-count 0 sr0/t:$_ANDNOT_
|
||||
select -assert-count 1 sr1/t:$_ANDNOT_
|
||||
select -assert-count 0 sr0/t:$_AND_
|
||||
select -assert-count 1 sr1/t:$_AND_
|
||||
select -assert-count 0 sr0/t:$_OR_
|
||||
select -assert-count 1 sr1/t:$_OR_
|
||||
select -assert-none t:$_DLATCHSR_PPP_ t:$_NOT_ t:$_ANDNOT_ t:$_OR_ t:$_AND_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DLATCHSR_PPP_ 1
|
||||
|
||||
select -assert-count 5 sr0/t:$_NOT_
|
||||
select -assert-count 2 sr1/t:$_NOT_
|
||||
select -assert-count 3 sr0/t:$_DLATCHSR_PPP_
|
||||
select -assert-count 3 sr1/t:$_DLATCHSR_PPP_
|
||||
select -assert-count 1 sr0/t:$_ANDNOT_
|
||||
select -assert-count 0 sr1/t:$_ANDNOT_
|
||||
select -assert-count 1 sr0/t:$_AND_
|
||||
select -assert-count 0 sr1/t:$_AND_
|
||||
select -assert-count 1 sr0/t:$_OR_
|
||||
select -assert-count 0 sr1/t:$_OR_
|
||||
select -assert-none t:$_DLATCHSR_PPP_ t:$_NOT_ t:$_ANDNOT_ t:$_OR_ t:$_AND_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFSRs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSR_PPP_ 0
|
||||
|
||||
select -assert-count 2 sr0/t:$_NOT_
|
||||
select -assert-count 5 sr1/t:$_NOT_
|
||||
select -assert-count 3 sr0/t:$_DFFSR_PPP_
|
||||
select -assert-count 3 sr1/t:$_DFFSR_PPP_
|
||||
select -assert-count 0 sr0/t:$_ANDNOT_
|
||||
select -assert-count 1 sr1/t:$_ANDNOT_
|
||||
select -assert-count 0 sr0/t:$_AND_
|
||||
select -assert-count 1 sr1/t:$_AND_
|
||||
select -assert-count 0 sr0/t:$_OR_
|
||||
select -assert-count 1 sr1/t:$_OR_
|
||||
select -assert-none t:$_DFFSR_PPP_ t:$_NOT_ t:$_ANDNOT_ t:$_OR_ t:$_AND_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSR_PPP_ 1
|
||||
|
||||
select -assert-count 5 sr0/t:$_NOT_
|
||||
select -assert-count 2 sr1/t:$_NOT_
|
||||
select -assert-count 3 sr0/t:$_DFFSR_PPP_
|
||||
select -assert-count 3 sr1/t:$_DFFSR_PPP_
|
||||
select -assert-count 1 sr0/t:$_ANDNOT_
|
||||
select -assert-count 0 sr1/t:$_ANDNOT_
|
||||
select -assert-count 1 sr0/t:$_AND_
|
||||
select -assert-count 0 sr1/t:$_AND_
|
||||
select -assert-count 1 sr0/t:$_OR_
|
||||
select -assert-count 0 sr1/t:$_OR_
|
||||
select -assert-none t:$_DFFSR_PPP_ t:$_NOT_ t:$_ANDNOT_ t:$_OR_ t:$_AND_ top/* %% %n t:* %i
|
||||
|
||||
|
||||
# Convert everything to DFFSREs.
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSRE_PPPP_ 0
|
||||
|
||||
select -assert-count 2 sr0/t:$_NOT_
|
||||
select -assert-count 5 sr1/t:$_NOT_
|
||||
select -assert-count 3 sr0/t:$_DFFSRE_PPPP_
|
||||
select -assert-count 3 sr1/t:$_DFFSRE_PPPP_
|
||||
select -assert-count 0 sr0/t:$_ANDNOT_
|
||||
select -assert-count 1 sr1/t:$_ANDNOT_
|
||||
select -assert-count 0 sr0/t:$_AND_
|
||||
select -assert-count 1 sr1/t:$_AND_
|
||||
select -assert-count 0 sr0/t:$_OR_
|
||||
select -assert-count 1 sr1/t:$_OR_
|
||||
select -assert-none t:$_DFFSRE_PPPP_ t:$_NOT_ t:$_ANDNOT_ t:$_OR_ t:$_AND_ top/* %% %n t:* %i
|
||||
|
||||
design -load orig
|
||||
dfflegalize -cell $_DFFSRE_PPPP_ 1
|
||||
|
||||
select -assert-count 5 sr0/t:$_NOT_
|
||||
select -assert-count 2 sr1/t:$_NOT_
|
||||
select -assert-count 3 sr0/t:$_DFFSRE_PPPP_
|
||||
select -assert-count 3 sr1/t:$_DFFSRE_PPPP_
|
||||
select -assert-count 1 sr0/t:$_ANDNOT_
|
||||
select -assert-count 0 sr1/t:$_ANDNOT_
|
||||
select -assert-count 1 sr0/t:$_AND_
|
||||
select -assert-count 0 sr1/t:$_AND_
|
||||
select -assert-count 1 sr0/t:$_OR_
|
||||
select -assert-count 0 sr1/t:$_OR_
|
||||
select -assert-none t:$_DFFSRE_PPPP_ t:$_NOT_ t:$_ANDNOT_ t:$_OR_ t:$_AND_ top/* %% %n t:* %i
|
||||
Loading…
Reference in New Issue