John W. O'Leary

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