Improved softusb_navre equiv.ys
Added -dump_cnf to softusb_navre/sim/equiv.ys