Ta上传的资源 (0)

Formality是高性能、高速度的全芯片的形式验证：等效性检查工具。它比较设计寄存器传输级对门级或门级对门级来保证它没有偏离原始的设计意图。 所谓形式验证，就是通过比较两个设计在逻辑功能是否等同的方法来验证电路的功能。这种方法的优点在于它不仅提高了验证的速度，可以在相当大的程度上缩短数字设计的周期

曾经在网上寻求很久都无法找到的ksh版本，在一个ksh资源网站寻得，在此仅将苦苦寻得的两个网址分享给大家，ksh各版本rpm版相当全，如果这两个网址没有相信很难再寻求到了！！！不要50分，仅需5分即可！