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:27 - 14 self

Documents Related by Co-Citation

266 Computer-Aided Reasoning: An Approach – Matt Kaufmann, Panagiotis Manolis, J Strother Moore - 2000
265 Automatic Verification of Pipelined Microprocessor Control – Jerry Burch, David Dill - 1994
39 Mechanical Verification of Reactive Systems – P Manolios - 2001
145 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
38 Proof of Correctness of a Processor with Reorder Buffer using the Completion Functions Approach – Ravi Hosabettu, Mandayam Srivas, Ganesh Gopalakrishnan - 1999
3242 Communication and Concurrency – R Milner - 1989
44 Modeling and Verification of Out-of-Order Microprocessors in UCLID – Shuvendu K. Lahiri, Sanjit A. Seshia, Randal E. Bryant - 2002
21 Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB-Refinements – Panagiotis (Pete) Manolios, Sudarshan K. Srinivasan - 2003
11 Siege homepage. See URL http://www.cs.sfu.ca/ ∼loryan/personal – L Ryan