Skip to content

Commit

Permalink
quicklogic: Fix pp3 dffs test
Browse files Browse the repository at this point in the history
Fix name confusion which was making the test look into the vendor's cell
blackbox rather than the synthesis results.
  • Loading branch information
povik committed Oct 12, 2023
1 parent 59fbee4 commit bb883d6
Showing 1 changed file with 17 additions and 4 deletions.
21 changes: 17 additions & 4 deletions tests/arch/quicklogic/dffs.ys
Original file line number Diff line number Diff line change
Expand Up @@ -7,14 +7,27 @@ hierarchy -top my_dff
proc
equiv_opt -async2sync -assert -map +/quicklogic/pp3_cells_sim.v -map +/quicklogic/cells_sim.v synth_quicklogic # equivalency check
design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
cd dff # Constrain all select calls below inside the top module
select -assert-none t:*
cd my_dff # Constrain all select calls below inside the top module
select -assert-count 1 t:ckpad
select -assert-count 1 t:dffepc
select -assert-count 1 t:inpad
select -assert-count 1 t:logic_0
select -assert-count 1 t:logic_1
select -assert-count 1 t:outpad

select -assert-none t:ckpad t:dffepc t:inpad t:logic_0 t:logic_1 t:outpad %% t:* %D

design -load read
hierarchy -top my_dffe
proc
equiv_opt -async2sync -assert -map +/quicklogic/pp3_cells_sim.v -map +/quicklogic/cells_sim.v synth_quicklogic # equivalency check
design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
cd dffe # Constrain all select calls below inside the top module
cd my_dffe # Constrain all select calls below inside the top module

select -assert-count 1 t:ckpad
select -assert-count 1 t:dffepc
select -assert-count 2 t:inpad
select -assert-count 1 t:logic_0
select -assert-count 1 t:outpad

select -assert-none t:*
select -assert-none t:ckpad t:dffepc t:inpad t:logic_0 t:outpad %% t:* %D

0 comments on commit bb883d6

Please sign in to comment.