LEC learning9: verify step

formality flow 中当完成match step 后，就可以进行verify step ：

status verify

[designID_1 designID_2] | 指定reference design and implementation design

[ [-inverted] 验证两个指定object inverse-equivalence

[-type ID_type] objectID_1 objectID_2] | 指定type 为cell,net,port,pin，object1,2 进行比较，type要一致

[ [-constant0 | -constant1] [ -type ID_type] objectID] |

[ [-type ID_type] objectID [-constant0 | -constant1] ] | 指定一个constant 0和1，用于check objectIDs 是0或者1。如果写在onjectID 前面，constant 考虑在reference上，写到后面是考虑到implementation 

[-probe] | 

[-restart | -incremental]

[-level integer]