mirror of https://github.com/YosysHQ/yosys.git
Separate check for ff's types
This commit is contained in:
parent
286a272872
commit
3de7889d08
|
@ -45,43 +45,3 @@ module ndffnr
|
|||
else
|
||||
q <= d;
|
||||
endmodule
|
||||
|
||||
module top (
|
||||
input clk,
|
||||
input clr,
|
||||
input pre,
|
||||
input a,
|
||||
output b,b1,b2,b3
|
||||
);
|
||||
|
||||
dffs u_dffs (
|
||||
.clk (clk ),
|
||||
.clr (clr),
|
||||
.pre (pre),
|
||||
.d (a ),
|
||||
.q (b )
|
||||
);
|
||||
|
||||
ndffnr u_ndffnr (
|
||||
.clk (clk ),
|
||||
.clr (clr),
|
||||
.pre (pre),
|
||||
.d (a ),
|
||||
.q (b1 )
|
||||
);
|
||||
|
||||
adff u_adff (
|
||||
.clk (clk ),
|
||||
.clr (clr),
|
||||
.d (a ),
|
||||
.q (b2 )
|
||||
);
|
||||
|
||||
adffn u_adffn (
|
||||
.clk (clk ),
|
||||
.clr (clr),
|
||||
.d (a ),
|
||||
.q (b3 )
|
||||
);
|
||||
|
||||
endmodule
|
||||
|
|
|
@ -1,12 +1,53 @@
|
|||
read_verilog adffs.v
|
||||
proc
|
||||
#async2sync # converts async flops to a 'sync' variant clocked by a 'super'-clock
|
||||
flatten
|
||||
equiv_opt -multiclock -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
|
||||
design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
|
||||
cd top # Constrain all select calls below inside the top module
|
||||
design -save read
|
||||
|
||||
proc
|
||||
hierarchy -top adff
|
||||
equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
|
||||
design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
|
||||
cd adff # Constrain all select calls below inside the top module
|
||||
select -assert-count 1 t:EFX_FF
|
||||
select -assert-count 1 t:EFX_GBUFCE
|
||||
select -assert-count 4 t:EFX_FF
|
||||
select -assert-count 2 t:EFX_LUT4
|
||||
select -assert-none t:EFX_GBUFCE t:EFX_FF t:EFX_LUT4 %% t:* %D
|
||||
|
||||
select -assert-none t:EFX_FF t:EFX_GBUFCE %% t:* %D
|
||||
|
||||
|
||||
design -load read
|
||||
proc
|
||||
hierarchy -top adffn
|
||||
equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
|
||||
design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
|
||||
cd adffn # Constrain all select calls below inside the top module
|
||||
select -assert-count 1 t:EFX_FF
|
||||
select -assert-count 1 t:EFX_GBUFCE
|
||||
|
||||
select -assert-none t:EFX_FF t:EFX_GBUFCE %% t:* %D
|
||||
|
||||
|
||||
design -load read
|
||||
proc
|
||||
hierarchy -top dffs
|
||||
equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
|
||||
design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
|
||||
cd dffs # Constrain all select calls below inside the top module
|
||||
select -assert-count 1 t:EFX_FF
|
||||
select -assert-count 1 t:EFX_GBUFCE
|
||||
select -assert-count 1 t:EFX_LUT4
|
||||
|
||||
select -assert-none t:EFX_FF t:EFX_GBUFCE t:EFX_LUT4 %% t:* %D
|
||||
|
||||
|
||||
design -load read
|
||||
proc
|
||||
hierarchy -top ndffnr
|
||||
equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
|
||||
design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
|
||||
cd ndffnr # Constrain all select calls below inside the top module
|
||||
select -assert-count 1 t:EFX_FF
|
||||
select -assert-count 1 t:EFX_GBUFCE
|
||||
|
||||
select -assert-count 1 t:EFX_FF
|
||||
select -assert-count 1 t:EFX_GBUFCE
|
||||
select -assert-count 1 t:EFX_LUT4
|
||||
|
||||
select -assert-none t:EFX_FF t:EFX_GBUFCE t:EFX_LUT4 %% t:* %D
|
||||
|
|
Loading…
Reference in New Issue