read_verilog ../top_cascade.v synth -top top extract_fa -fa -v stat select -assert-count 2 t:$fa