用SMT求解器对模拟和混合信号电路进行有界模型检验
摘要
工具书类
建议
使用SMT求解器对模拟电路和混合电路进行有界模型检查 ATVA’07:第五届自动技术验证和分析国际会议记录 本文提出了一种有界模型检查算法,用于使用可满足性模理论(SMT)求解器验证模拟和混合信号(AMS)电路。 这些系统是用VHDL-AMS建模的,这是一种AMS的硬件描述语言。。。 模拟/混合信号电路的符号模型检验 ASP-DAC'07:2007年亚洲及南太平洋设计自动化会议论文集 本文提出了一种用于模拟/混合信号(AMS)电路验证的基于布尔值的符号模型检查算法。 系统采用VHDL-AMS建模,这是AMS电路的硬件描述语言。 VHDL-AMS描述已编译。。。
评论
信息和贡献者
问询处
发布于
出版商
出版历史
作者标记
限定符
第条