×

Cadence SMV公司

swMATH ID: 7795
软件作者: 麦克米兰K·L。
描述: Cadence SMV是一种符号模型检查工具,允许您正式验证有限状态系统的时序逻辑属性,例如计算机硬件设计。这意味着,不是编写模拟向量或模拟测试台,而是验证所有可能的输入序列的设计。虽然形式验证通常等同于等价性检查,但模型检查更为普遍。它允许您通过构建抽象的系统级模型,在设计过程的早期验证您的规范是否正确。它的使用贯穿于设计细化过程,允许您验证RTL级设计是否正确实现了高级模型。
主页: http://www.kenmcmil.com/smv.html
相关软件: NuSMV公司;自旋蛋白;斑点;LTL2BA公司;摩卡;棱镜;CESAR公司;Uppaal公司;可视信息系统;SPASS公司;伊莎贝尔/HOL;伊莎贝尔;薄层色谱法;落叶松;库德;MONA公司;STeP公司;霍尔;PVS公司;XPTCT公司
引用于: 22文件

按年份列出的引文