第条

免费访问

模拟/混合信号电路的符号模型检验

作者:

C.J.公司。迈尔斯、和

ASP-DAC’07：2007年亚洲和南太平洋设计自动化会议记录

2007年1月

页316-323

https://doi.org/10.1109/ASPDAC.2007.358005

出版:2007年1月23日出版历史

PDF格式电子阅读器

摘要

本文提出了一种用于模拟/混合信号（AMS）电路验证的基于布尔值的符号模型检查算法。系统采用VHDL-AMS进行建模，VHDL-AMS是AMS电路的硬件描述语言。VHDL-AMS描述被编译成标记的混合Petri网（LH-PN），其中模拟值被建模为连续变量，可以在有界范围内以速率变化，数字值使用布尔信号建模。系统属性被指定为使用定时CTL（TCTL）的时间逻辑公式。验证在公式的结构上进行，并将分离谓词映射到布尔变量。因此，使用二进制决策图（BDD）将状态空间表示为布尔函数，验证算法依赖于BDD操作的有效使用。

引用人

查看全部

扎基M塔哈尔SBois G公司(2008)审查微电子杂志10.1016/j.mejo.2008.05.01339:12(1395-1404)在线发布日期：2008年12月1日
https://dl.acm.org/doi/10.1016/j.mejo.2008.05.013
小S沃尔特·D琼斯·K迈尔斯C(2007)使用仿真轨迹生成的模型进行模拟/混合信号电路验证第五届核查和分析自动化技术国际会议记录10.5555/1779046.1779058(114-128)在线发布日期：2007年10月22日
https://dl.acm.org/doi/10.5555/1779046.1779058
沃尔特·D小S迈尔斯C(2007)使用SMT求解器对模拟电路和混合电路进行有界模型检查第五届核查和分析自动化技术国际会议记录10.5555/1779046.1779055(66-81)在线发布日期：2007年10月22日
https://dl.acm.org/doi/10.5555/1779046.1779055

索引术语

模拟/混合信号电路的符号模型检验
1. 硬件
2. 软件及其工程
  1. 软件符号和工具
    1. 通用编程语言
      1. 语言特点
        控制结构

建议

用符号方法验证模拟/混合信号电路

本文提出了两种用于模拟/混合信号电路验证的符号模型检查算法。第一个模型检查器使用二进制决策图，而第二个是使用可满足性模的有界模型检查器。。。
阅读更多信息
用标记混合Petri网验证模拟/混合信号电路

混合信号设计集成了数字和模拟电路，这使本已困难的验证问题变得复杂。本文提出了一个模型，即标记混合Petri网（LHPNs），该模型用于对这种异构组件集进行建模。收件人。。。
阅读更多信息
用SMT求解器对模拟和混合信号电路进行有界模型检验
验证和分析自动化技术
摘要
本文提出了一种有界模型检查算法，用于验证模拟和混合信号（AMS）电路使用可满足性模理论（SMT）解算器。系统建模于车辆健康数据链接（VHDL-AMS），AMS的硬件描述语言。。。
阅读更多信息

信息和贡献者

问询处

发布于

ASP-DAC’07：2007年亚洲和南太平洋设计自动化会议记录

2007年1月

771页

国际标准图书编号：1424406293

出版商

IEEE计算机学会

美国

出版历史

出版：2007年1月23日

作者标记

限定符

第条

接受率

ASP-DAC’07论文接受率131（408份），32%；

1454份提交文件的总体接受率为466份，占32%

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

三
引文总数
查看引文
139
总下载次数

下载量（最近12个月）5
下载次数（最近6周）0

其他指标

查看作者指标

引文

引用人

查看全部

扎基·M塔哈尔SBois G公司(2008)审查微电子杂志10.1016/j.mejo.2008.05.01339:12(1395-1404)在线发布日期：2008年12月1日
https://dl.acm.org/doi/10.1016/j.mejo.2008.05.013
小S沃尔特·D琼斯·K迈尔斯C(2007)使用仿真轨迹生成的模型进行模拟/混合信号电路验证第五届核查和分析自动化技术国际会议记录10.5555/1779046.1779058(114-128)在线发布日期：2007年10月22日
https://dl.acm.org/doi/10.5555/1779046.1779058
沃尔特·D小S迈尔斯C(2007)使用SMT求解器对模拟电路和混合电路进行有界模型检查第五届核查和分析自动化技术国际会议记录10.5555/1779046.1779055(66-81)在线发布日期：2007年10月22日
https://dl.acm.org/doi/10.5555/1779046.1779055

引用人

索引术语

建议

用符号方法验证模拟/混合信号电路

用标记混合Petri网验证模拟/混合信号电路

用SMT求解器对模拟和混合信号电路进行有界模型检验

评论

发布于

出版商

出版历史

作者标记

限定符

接受率

其他指标

文章指标

其他指标

引用人

PDF格式

电子阅读器

登录选项

完全访问权限

摘要

引用人

索引术语

建议

用符号方法验证模拟/混合信号电路

用标记混合Petri网验证模拟/混合信号电路

用SMT求解器对模拟和混合信号电路进行有界模型检验

评论

问询处

发布于

出版商

出版历史

作者标记

限定符

接受率

贡献者

其他指标

文献计量学

文章指标

其他指标

引文

引用人

视图选项

PDF格式

电子阅读器

获取访问权限

登录选项

完全访问权限

数字

其他

分享

共享此出版物链接

在社交媒体上分享

附属公司