碘 swMATH ID: 26817 软件作者: Sudheendra Hangal、Naveen Chandra、Sridhar Narayanan、Sandeep Chakravorty 说明: IODINE:用于硬件设计的自动推断动态不变量的工具。我们描述了IODINE,它是一种使用动态分析自动提取可能的设计属性的工具。硬件设计正式验证中的一个实际瓶颈是需要手动指定特定于设计的属性。IODINE提供了一种自动提取属性的方法,例如状态机协议、请求确认对和设计仿真信号之间的互斥。我们表明,硬件设计的动态不变检测可以推断出相关且准确的属性。 主页: https://ieeexplore.ieee.org/document/1510440 相关软件: Daikon公司;方面C++;佐尔塔;Cetus公司;LARA公司;有限责任公司 引用于: 1文件 4位作者引用 1 鲁伊·阿伯鲁 1 阿尔贝托·冈萨雷斯 1 van Gemund,Arjan J.C。 1 Peter Zoeteweij 0连载引用 在1个字段中引用 1 计算机科学(68至XX) 按年份列出的引文