Information Processing Research
暂无分享,去创建一个
[1] Edmund M. Clarke,et al. Characterizing Kripke Structures in Temporal Logic , 1987, TAPSOFT, Vol.1.
[2] Allan L. Fisher,et al. Communication and code optimization in SIMD programs , 1988, ICPP.
[3] A. L. Fisher,et al. Programming considerations in the design and use of a SIMD image computer , 1988, Proceedings., 2nd Symposium on the Frontiers of Massively Parallel Computation.
[4] Randal E. Bryant,et al. For incremental circuit analysis using extracted hierarchy , 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..
[5] Randal E. Bryant,et al. Test Pattern Generation for Sequential MOS Circuits by Symbolic Fault Simulation , 1989, 26th ACM/IEEE Design Automation Conference.
[6] Rob A. Rutenbar,et al. Massively parallel switch-level simulation: a feasibility study , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[7] Randal E. Bryant,et al. Formal verification of memory circuits by switch-level simulation , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[8] Randal E. Bryant,et al. Formal Verification of Digital Circuits Using Symbolic Ternary System Models , 1990, CAV.