ql-qlf-plugin/tests/qlf_k6n10f/asymmetric_bram36k_afifo/asymmetric_bram36k_afifo.tcl

yosys -import

if { [info procs ql-qlf-k6n10f] == {} } { plugin -i ql-qlf }
yosys -import  ;

read_verilog $::env(DESIGN_TOP).v
design -save asymmetric_bram36k_afifo

select af4096x9_1024x36
select *
synth_quicklogic -family qlf_k6n10f -top af4096x9_1024x36 -bram_types
opt_expr -undriven
opt_clean
stat
write_verilog sim/af4096x9_1024x36_post_synth.v
select -assert-count 1 t:TDP36K_FIFO_ASYNC_WR_X9_RD_X36_nonsplit

select -clear
design -load asymmetric_bram36k_afifo
select af2048x18_1024x36
select *
synth_quicklogic -family qlf_k6n10f -top af2048x18_1024x36 -bram_types
opt_expr -undriven
opt_clean
stat
write_verilog sim/af2048x18_1024x36_post_synth.v
select -assert-count 1 t:TDP36K_FIFO_ASYNC_WR_X18_RD_X36_nonsplit

select -clear
design -load asymmetric_bram36k_afifo
select af2048x18_4098x9
select *
synth_quicklogic -family qlf_k6n10f -top af2048x18_4098x9 -bram_types
opt_expr -undriven
opt_clean
stat
write_verilog sim/af2048x18_4098x9_post_synth.v
select -assert-count 1 t:TDP36K_FIFO_ASYNC_WR_X18_RD_X9_nonsplit

select -clear
design -load asymmetric_bram36k_afifo
select af1024x36_4098x9
select *
synth_quicklogic -family qlf_k6n10f -top af1024x36_4098x9 -bram_types
opt_expr -undriven
opt_clean
stat
write_verilog sim/af1024x36_4098x9_post_synth.v
select -assert-count 1 t:TDP36K_FIFO_ASYNC_WR_X36_RD_X9_nonsplit