Tcl与Design Compiler （九）——综合后的形式验证

本文如果有错，欢迎留言更正；此外，转载请标明出处 http://www.cnblogs.com/IClearner/ ，作者：IC_learner 　　这里来讲一下formality的使用，貌似跟 ...