John W. O'Leary

Publication Activity (10 Years)

Years Active: 1971-2014
Publications (10 Years): 0

Top Topics

Distributed Search

Theorem Proving

Formal Verification

Top Venues

Publications

John W. O'Leary, David M. Russinoff
Modeling Algorithms in SystemC and ACL2. ACL2 (2014)
John W. O'Leary, Roope Kaivola, Tom Melham
Relational STE and theorem proving for formal verification of industrial circuit designs. FMCAD (2013)
Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, John W. O'Leary
ATLAS: Automatic Term-level abstraction of RTL designs. MEMOCODE (2010)
John W. O'Leary, Murali Talupur, Mark R. Tuttle
Protocol verification using flows: An industrial experience. FMCAD (2009)
John W. O'Leary, Bratin Saha, Mark R. Tuttle
Model Checking Transactional Memory with Spin. ICDCS (2009)
David James, Tim Leonard, John W. O'Leary, Murali Talupur, Mark R. Tuttle
Extracting models from design documents with mapster. PODC (2008)
John W. O'Leary, Bratin Saha, Mark R. Tuttle
Model checking transactional memory with spin. PODC (2008)
Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck
Verifying Correctness of Transactional Memories. FMCAD (2007)
Jim Grundy, Thomas F. Melham, John W. O'Leary
A reflective functional language for hardware design and theorem proving. J. Funct. Program. 16 (2) (2006)
Carl-Johan H. Seger, Robert B. Jones, John W. O'Leary, Thomas F. Melham, Mark D. Aagaard, Clark W. Barrett, Don Syme
An industrially effective environment for formal hardware verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24 (9) (2005)
Robert B. Jones, John W. O'Leary, Carl-Johan H. Seger, Mark D. Aagaard, Thomas F. Melham
Practical Formal Verification in Microprocessor Design. IEEE Des. Test Comput. 18 (4) (2001)
Mark D. Aagaard, Robert B. Jones, Thomas F. Melham, John W. O'Leary, Carl-Johan H. Seger
A Methodology for Large-Scale Hardware Verification. FMCAD (2000)
Mark D. Aagaard, Thomas F. Melham, John W. O'Leary
Xs are for Trajectory Evaluation, Booleans are for Theorem Proving. CHARME (1999)
Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao
Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. FMCAD (1996)
Miriam Leeser, John W. O'Leary
Verification of a subtractive radix-2 square root algorithm and implementation. ICCD (1995)
John W. O'Leary, Miriam Leeser, Jason Hickey, Mark D. Aagaard
Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization. TPCD (1994)
John W. O'Leary, Mark H. Linderman, Miriam Leeser, Mark D. Aagaard
HML: A Hardware Description Language Based on Standard ML. CHDL (1993)
Dennis D. Newhart, John W. O'Leary
Integrated circuit shop simulation for capacity planning and scheduling. WSC (1971)