svf(Setup Verification for Formality) 记录优化过程中的各项逻辑操作,比如replace, merge, uniquify, retime, reg_constant等等,是用于辅助formality verification的。 DC产生的不可读svf可以在formality内转成可读文本。