计算机形式验证方法研究综述

下载PDF

导出

摘要对形式验证方法进行了一综述和讨论，介绍了基于符号处理的形式推理方法，并详细讨论了时序电路、组合逻辑电路等价性的检验方法。

作者张瑞雪郝春梅王旭

机构地区哈尔滨金融学院

出处《中国电子商务》 2011年第5期69-69,共1页 E-commerce in China

关键词形式验证时序逻辑等价性检验 BDD 模型检验

参考文献8

1边计年,薛宏熙,苏明等.数字系统设计自动化.北京:清华大学出版社.1996.
2S. Malik et. al. Logic Verification using Binary Decision Diagrams in a Logic Synthesis Environment. ZCCAD, 1988.
3M. Fujita, H. Fujisawa, and N. Kawato. valuation and Improvements of Boolean Comparison Method Based on Binary Deci- sion Diagrams. ZCCAD, 1988.
4R. L. Rhdell. Dynamic Variable Ordering for Ordered Binary Decision Diagrams. ICCAD, 1993.
5S. Panda, F. Somenzi, and B. Plessier. Symmetry Detection and Dynamic Variable Ordering of Dccigion Diagramg. ZCCAD, 1994.
6S. Panda and F. Somenzi. Who Are the Variables in Your Neighb(orhood. ICCAD, 1995.
7H. Ochi, K. Yasouka, and S. Yajima. readth-first manipu- lation of very large binary-decision diagrams. ICCAD.
8P. Ashar and M. Cheon. Efficient breadth-first manipula- tion of binary-decision diagrams. ICCAD, 1994.

中国电子商务

2011年第5期

内容加载中请稍等...