Get started
Author

John W. O’Leary

Observed names: J. O'Leary, J.W. O'Leary, JOHN O'LEARY, John O'Leary, John O’Leary, John W. O'Leary, John W. O’leary, O'Leary, John, O’Leary, John W
ORCID: 0000-0001-9327-5852
Observed ORCID: 0000-0001-9327-5852
OpenAlex ID: A5105768200
An industrially effective environment for formal hardware verification
2005 · C.-J.H. Seger, R.B. Jones, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 91
A reflective functional language for hardware design and theorem proving
2005 · JIM GRUNDY, TOM MELHAM, et al. · Journal of Functional Programming · 59
PDF
Practical formal verification in microprocessor design
2001 · R.B. Jones, J.W. O'Leary, et al. · IEEE Design & Test of Computers · 57
Verification of all circuits in a floating-point unit using word-level model checking
1996 · Yirng-An Chen, Edmund Clarke, et al. · Lecture notes in computer science · 44
Protocol verification using flows: An industrial experience
2009 · John O'Leary, Murali Talupur, et al. · Formal Methods in Computer-Aided Design · 42
A Methodology for Large-Scale Hardware Verification
2000 · Mark D. Aagaard, Robert B. Jones, et al. · Lecture notes in computer science · 41
PDF
Non-restoring integer square root: A case study in design by principled optimization
1995 · John O'Leary, Miriam Leeser, et al. · Lecture notes in computer science · 40
Synchronous Elastic Networks
2006 · Sava Krstic, Jordi Cortadella, et al. · Formal Methods in Computer-Aided Design · 35
Codesign of communication protocols
1993 · A.S. Wenban, J.W. O'Leary, et al. · Computer · 33
Verifying Correctness of Transactional Memories
2007 · Ariel Cohen, John W. O'Leary, et al. · Formal Methods in Computer-Aided Design · 27
Formal Methods in Computer-Aided Design
2002 · Aagaard, Mark D, O’Leary, John W · Lecture notes in computer science · 26
Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
2002 · Mark D. Aagaard, John O’Leary · 19
ATLAS: Automatic Term-level abstraction of RTL designs
2010 · Bryan A. Brady, Randal E. Bryant, et al. · ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE) · 16
Synthesizable high level hardware descriptions
2008 · Jennifer Gillenwater, Gregory Malecha, et al. · ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) · 16
Verification of a subtractive radix-2 square root algorithm and implementation
2002 · M. Leeser, J. O'Leary · IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD) · 16
Model Checking Transactional Memory with Spin
2009 · J. O'Leary, B. Saha, et al. · IEEE International Conference on Distributed Computing Systems (ICDCS) · 14
Relational STE and theorem proving for formal verification of industrial circuit designs
2013 · John O'Leary, Roope Kaivola, et al. · Formal Methods in Computer-Aided Design · 13
Synchronous emulation of asynchronous circuits
1997 · J. O'Leary, G. Brown · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 12
HML: A Hardware Description Language Based on Standard ML
1993 · John O'Leary, Mark Linderman, et al. · Elsevier eBooks · 12
Retargeting a hardware compiler using protocol converters
1996 · Geoffrey Brown, Wayne Luk, et al. · Formal Aspects of Computing · 11
Modeling Algorithms in SystemC and ACL2
2014 · John W. O'Leary, David M. Russinoff · Electronic Proceedings in Theoretical Computer Science · 10
Static consistency checking for verilog wire interconnects
2009 · Cherif Salama, Gregory Malecha, et al. · ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) · 9
Symbolic verification of timed asynchronous hardware protocols
2013 · Krishnaji Desai, Kenneth S. Stevens, et al. · IEEE Computer Society Annual Symposium on VLSI · 7
Learning Concise Models from Long Execution Traces
2020 · Natasha Yogananda Jeppu, Thomas Melham, et al. · ACM/IEEE Design Automation Conference (DAC) · 6
PDF
Static consistency checking for Verilog wire interconnects
2011 · Cherif Salama, Gregory Malecha, et al. · LISP and Symbolic Computation · 6
Works count: 47
Citation count: 706
H-index: 15
I10-index: 21
Year
Topic
Type