Correctness of Pipelined Machines (0)

View PDF

Download Links

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

Documents Related by Co-Citation

285 ComputerAided Reasoning: An Approach – M Kaufmann, P Manolios, J S Moore - 2000
279 Automatic Verification of Pipelined Microprocessor Control – Jerry Burch, David Dill - 1994
42 Mechanical Verification of Reactive Systems – P Manolios - 2001
151 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
40 Proof of Correctness of a Processor with Reorder Buffer using the Completion Functions Approach – Ravi Hosabettu, Mandayam Srivas, Ganesh Gopalakrishnan - 1999
47 Modeling and Verification of Out-of-Order Microprocessors in UCLID – Shuvendu K. Lahiri, Sanjit A. Seshia, Randal E. Bryant - 2002
23 Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB-Refinements – Panagiotis (Pete) Manolios, Sudarshan K. Srinivasan - 2003
58 Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions – Randal E. Bryant, Steven German, Miroslav N. Velev - 1999
3430 Communication and Concurrency – R Milner - 1989