Automating the diagnosis and the rectification of design errors with PRIAM
暂无分享,去创建一个
[1] J.A. Darringer. The Application of Program Verification to Hardware Verification , 1979, 16th Design Automation Conference.
[2] Sheldon B. Akers,et al. Binary Decision Diagrams , 1978, IEEE Transactions on Computers.
[3] Raymond Reiter,et al. A Theory of Diagnosis from First Principles , 1986, Artif. Intell..
[4] Jean Christophe Madre,et al. Proving circuit correctness using formal comparison between expected and extracted behaviour , 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..
[5] Bernard Courtois,et al. Debugging integrated circuits: AI can help , 1989, [1989] Proceedings of the 1st European Test Conference.
[6] Helmut Simonis,et al. Using Logic Programming for Fault Diagnosis in Digital Circuits , 1987, GWAI.
[7] Stephen Cole Kleene. Mathematical Logic , 1967 .
[8] John A. Darringer. The Application of Program Verification to Hardware Verification , 1979, DAC 1979.
[9] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[10] Lawrence C. Paulson,et al. Natural Deduction as Higher-Order Resolution , 1986, J. Log. Program..