基于视觉规范的断言监控器自动综合
计算机科学中的逻辑
2011-11-09 v1
摘要
从高层属性自动综合监控器在基于断言的验证中发挥着重要作用。本文提出了一种从 CESC（Clocked Event Sequence Chart，时钟事件序列图）给出的视觉规范中综合断言监控器的方法。CESC 是一种专为指定涉及单时钟域和多时钟域的系统级交互而设计的视觉语言。它具有定义明确的图形和文本语法，以及基于同步语言范式的形式语义，从而能够对规范进行形式化分析。本文概述了 CESC 语言并列举了几个说明性示例。文中描述了从 CESC 规范自动综合断言监控器的算法。此外，还展示了来自标准总线协议（OCP-IP 和 AMBA）的几个示例，以演示监控器综合算法的应用。
关键词
引用
@article{arxiv.0710.4698,
title = {Automated Synthesis of Assertion Monitors using Visual Specifications},
author = {Ambar A. Gadkari and S. Ramesh},
journal= {arXiv preprint arXiv:0710.4698},
year = {2011}
}
评论
Submitted on behalf of EDAA (http://www.edaa.com/)