LEC learning 16: svf and vsdc

在使用formality tool 的过程中，需要使用DC tool 中的一些file 帮助tool 去check ,其中有svf 和vsdc。svf file 加密file，不可读，只有在formality 吐出的.txt中可读，vsdc file 写出来就是可读的。

在DC tool 中可以通过set_svf 和set_vsdc cmd 将相应的file 写出来。

1.set_svf (setup verification for formality)

产生一个formality setup information file , 有效的对compare point 进行matching

filename 必须指定一个filename 

[-off] stop recording svf file,如果想用相同的filename 再记录的话，需要加上[-append]

一旦cmd 出现issue ，需要使用set_svf -off 去停止。

若是记录formal verification但不是使用formality ,请使用set_vsdc cmd。

2.set_vsdc

产生一个V-SDC 形式的setup 信息，有效的帮助compare point matching

filename

[-off]

[-append]

如果使用formality tools 需要使用set_svf cmd ，V-SDC file 可以用在其他的tools 上。