迈克尔·凯特尔曼;何塞·梅塞盖尔 vlogsl语言：基于仿真的硬件验证的策略语言。 （英语） Zbl 1325.68150号 Barner，Sharon（编辑）等人，《硬件和软件：验证和测试》。2010年10月4日至7日，以色列海法HVC 2010第六届国际海法验证会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19582-2/pbk）。计算机科学课堂讲稿6504129-145（2011）。 摘要：SystemVerilog和\（e）等语言在当代硬件验证方法中发挥着重要作用。通过对约束随机性、函数覆盖、断言等概念的直接语言级支持，它们帮助验证工程师采用有用的范例。本文证明了一种新的基于策略的硬件测试生成范式的有用性，我们所知的任何语言都不直接支持这种范式。一种策略是通过协调多个仿真来实现一个高层次的目标，例如产生一个有针对性的刺激来驱动设备通过特定的行为。通过构造对模拟施加元级控制，使模拟跟踪可以以编程方式存储、查询和操作的一流数据对象，可以在语言级别实现策略。这些思想体现在一种语言和工具中，称为vlogsl语言.vlogsl语言是Haskell中的一种特定于域的嵌入式语言，提供了一组复杂的策略语言功能，包括一阶符号模拟和与SMT解算器的集成。我们激励战略，描述vlogsl语言，介绍了几个使用vlogsl语言最后是一个涉及开源I（^{2}）C总线主机的较大示例。有关整个系列，请参见[Zbl 1209.68002号]. 引用于3文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 软件：哈斯克尔;投掷;vlogsl语言;SystemVerilog公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Katelman}和\textit{J.Meseguer}，莱克特。注释计算。科学。6504129-145（2011年；Zbl 1325.68150） 全文： 内政部