Correctness of Pipelined Machines (0)

Cached

Download Links

by Panagiotis Manolios
Venue:Formal Methods in Computer-Aided Design–FMCAD 2000, volume 1954 of LNCS
Citations:26 - 13 self

Documents Related by Co-Citation

260 Computer-Aided Reasoning: An Approach – M Kaufmann, P Manolios, J S Moore - 2000
259 Automatic Verification of Pipelined Microprocessor Control – Jerry Burch, David Dill - 1994
39 Mechanical Verification of Reactive Systems – P Manolios - 2001
139 Modeling and Verifying Systems using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions – Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia - 2002
21 Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB-Refinements – Panagiotis (Pete) Manolios, Sudarshan K. Srinivasan - 2003
35 Proof of Correctness of a Processor with Reorder Buffer using the Completion Functions Approach – Ravi Hosabettu, Mandayam Srivas, Ganesh Gopalakrishnan - 1999
11 Siege homepage. See URL http://www.cs.sfu.ca/ ∼loryan/personal – L Ryan
42 Modeling and Verification of Out-of-Order Microprocessors in UCLID – Shuvendu K. Lahiri, Sanjit A. Seshia, Randal E. Bryant - 2002
12 Verification Of A Simple Pipelined Machine Model – Jun Sawada
29 A Simple Characterization of Stuttering Bisimulation – K Namjoshi - 1997
21 Formal Verification of an Advanced Pipelined Machine – J Sawada - 1999
54 Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions – Randal E. Bryant, Steven German, Miroslav N. Velev - 1999
10 A compositional theory of refinement for branching time – Panagiotis Manolios - 2003
90 Verification of an implementation of Tomasulo’s algorithm by compositional model checking – K. L. Mcmillan - 1998
3200 Communication and Concurrency – R Milner - 1989
145 Chaff: Engineering an efficient – M Moskewicz, C Madigan, Y Zhao, L Zhang, S Malik
26 High-Speed, Analyzable Simulators – David Greve, Matthew Wilding, David Hardin
13 Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation – Panagiotis Manolios, Kedar Namjoshi, Robert Sumners - 1999
46 A Hybrid SAT-Based Decision Procedure for Separation Logic with Uninterpreted Functions – Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Bryant - 2003