/*_ref.v
/*.aag.log
/*.aig.log