read -formal ../top.v
prep -top mcve
select -assert-count 5 t:$assert