LEC形式验证的绝佳教程，没有办法才买钱，我无法看到想看的资料

Jenewy

【文件名】:0643@52RD_Conformal_Quick.rar
【格　式】:rar
【大　小】:136K
【简　介】:This guide includes basic information about commands for
ConformalTM Equivalence Checking Product Suite. Enter
these commands in an LEC shell or the graphical user
interface command entry window. For more detailed
information about Conformal commands, please refer to
the Conformal Equivalence Checking Product Suite
Reference Manual.
【目　录】:
1.Introduction to the Quick Reference Guide
2.Setup Mode Commands
3.LEC Mode Commands
4.LTX, LVR, FPGA, MEM, and DP Commands

fiysben

好东西啊，太好了，可以下载了学习学习了。