Formal Verification of Counterflow Pipeline Architecture
暂无分享,去创建一个
[1] P. N. Loewenstein. Formal verification of state-machines using higher-order logic , 1989, Proceedings 1989 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
[2] Alan J. Hu,et al. Protocol verification as a hardware design aid , 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
[3] Paul Loewenstein. Verification of a multiprocessor cache protocol using simulation relations and higher-order logic , 1992, Formal Methods Syst. Des..
[4] M. Gordon. HOL: A Proof Generating System for Higher-Order Logic , 1988 .
[5] Ivan E. Sutherland,et al. The counterflow pipeline processor architecture , 1994, IEEE Design & Test of Computers.
[6] David L. Dill,et al. Formal verification of cache systems using refinement relations , 1990, Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
[7] Paul Loewenstein,et al. A formal theory of simulations between infinite automata , 1992, Formal Methods Syst. Des..
[8] Sérgio Vale Aguiar Campos,et al. Symbolic Model Checking , 1993, CAV.
[9] M. Gordon. HOL : A machine oriented formulation of higher order logic , 1985 .