vlogsl语言 swMATH ID: 12874 软件作者： Michael Katelman；何塞·梅塞盖尔 描述： vlogsl：一种基于仿真的硬件验证策略语言。SystemVerilog和（e）等语言在当代硬件验证方法中发挥着重要作用。通过对约束随机数、函数覆盖率、断言等概念的直接语言级支持，它们帮助验证工程师采用有用的范式。本文证明了一种新的基于策略的硬件测试生成范式的有用性，我们所知的任何语言都不直接支持这种范式。一种策略是通过协调多个仿真来实现一个高层次的目标，例如产生一个有针对性的刺激来驱动设备通过特定的行为。通过构造对模拟施加元级控制，使模拟跟踪可以以编程方式存储、查询和操作的一流数据对象，可以在语言级别实现策略。这些思想体现在一种称为url{vlogsl}的语言和工具中。url{vlogsl}是Haskell中的一种特定于域的嵌入式语言，提供了一组复杂的策略语言功能，包括一阶符号模拟和与SMT解算器的集成。我们激发了策略，描述了url{vlogsl}，给出了几个使用url{vlogsl}的教学示例，最后是一个涉及开源I（^{2}）C总线主机的更大示例。 主页： http://link.springer.com/chapter/10.1007/978-3-642-19583-9_14 相关软件： 莫德;Java+ITP;K校准仪;Dist兽人;时刻2;K工具;聚乙烯醇水杨酸;PMaude公司;MMT公司;托勒密;ITP/OCL公司;爪哇风扇;半人马座;ACL2型;西洋陆军棋;OBJ咖啡馆;重新规范;AProVE公司;KOOL公司;精灵 引用于： 3文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 vlogsl语言：基于仿真的硬件验证的策略语言。 兹比尔1325.68150迈克尔·凯特尔曼;何塞·梅塞盖尔 2011 3位作者引用 三 何塞·梅塞盖尔·瓜伊塔 1 迈克尔·凯特尔曼 1 格里高·罗什乌 2篇连载文章中引用 1 信息与计算 1 逻辑与代数程序设计杂志 在2个字段中引用 三 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文