John O'Leary

Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary: Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions. Higher-Order and Symbolic Computation 24(1-2): 81-114 (2011)

Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary: Synthesizable High Level Hardware Descriptions. New Generation Comput. 28(4): 339-369 (2010)

John O'Leary: Theorem Proving in Intel Hardware Design. NASA Formal Methods 2009: 5

Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary: Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. PEPM 2009: 121-130

Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary: Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. PEPM 2008: 41-50

Sava Krstic, Robert B. Jones, John O'Leary: Mothers of Pipelines. Electr. Notes Theor. Comput. Sci. 174(8): 7-22 (2007)

Ganesh Gopalakrishnan, John O'Leary: Preface. Electr. Notes Theor. Comput. Sci. 174(9): 1-4 (2007)

Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary: Synchronous Elastic Circuits. CSR 2006: 3-5

Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary: Synchronous Elastic Networks. FMCAD 2006: 19-30

Tevfik Bultan, Constance L. Heitmeyer, John O'Leary: Panel on design for verification. MEMOCODE 2005: 232-235

John O'Leary, Marly Roncken: Rob Tristan Gerth: 1956?2003. CAV 2004: 1-14

John O'Leary: Formal verification in Intel CPU design. MEMOCODE 2004: 152

Rajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi: Formal verification - prove it or pitch it. DAC 2003: 710-711

John O'Leary, Geoffrey Brown, Wayne Luk: Verified Compilation of Communicating Processes into Clocked Circuits. Formal Asp. Comput. 9(5-6): 537-559 (1997)

John O'Leary, Geoffrey Brown: Synchronous emulation of asynchronous circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 16(2): 205-209 (1997)

Geoffrey Brown, Wayne Luk, John O'Leary: Retargeting a Hardware Compiler Using Protokol Converters. Formal Asp. Comput. 8(2): 209-237 (1996)

Alan S. Wenban, Geoffrey Brown, John O'Leary: Developing Interface Libraries for Reconfigurable Data Acquisition Boards. FPL 1995: 331-340

Alan S. Wenban, John O'Leary, Geoffrey Brown: Codesign of Communication Protocols. IEEE Computer 26(12): 46-52 (1993)