Symbolic simulation-techniques and applications
Symbolic simulation-techniques and applications
复制标题
符号模拟技术及应用
DOI：
10.1109/dac.1990.114910
复制
发表时间：
1990
期刊：
影响因子：
--
通讯作者：
R. Bryant
中科院分区：
文献类型：
--
作者：
R. Bryant
讨论了符号模拟的基本原理及其在形式电路验证和测试自动生成中的应用。历史的观点和最近的活动，在发展的布尔代数方法，符号推理方法的连续系统，和弱信号代数的地址。<<ETX>>
Basic principles of symbolic simulation and its applications in formal circuit verification and automatic test generation are discussed. Historical perspective and recent activities in development of Boolean algebraic approaches, symbolic reasoning methods about continuous systems, and weak signal algebras are addressed.<<ETX>>