Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Formal verification - prove it or pitch it.

R. Gupta, S. Rawat, S. Shukla, B. Bailey, D. Beece, M. Fujita, C. Pixley, J. O'Leary, and F. Somenzi. DAC, page 710-711. ACM, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

John Nixon University of Stuttgart

Isaac Henderson Johnson Jeyakumar University of Stuttgart

David John Cross University of Stuttgart

Other publications of authors with the same name

Resource-Aware Large-Scale Cooperative Three-Dimensional Mapping Using Multiple Mobile Devices.C. Guo, K. Sartipi, R. DuToit, G. Georgiou, R. Li, J. O'Leary, E. Nerurkar, J. Hesch, and S. Roumeliotis. IEEE Trans. Robotics, 34 (5): 1349-1369 (2018)Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions.C. Salama, G. Malecha, W. Taha, J. Grundy, and J. O'Leary. PEPM, page 121-130. ACM, (2009)Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability.J. Gillenwater, G. Malecha, C. Salama, A. Zhu, W. Taha, J. Grundy, and J. O'Leary. PEPM, page 41-50. ACM, (2008)Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions.C. Salama, G. Malecha, W. Taha, J. Grundy, and J. O'Leary. Higher-Order and Symbolic Computation, 24 (1-2): 81-114 (2011)Synthesizable High Level Hardware Descriptions.J. Gillenwater, G. Malecha, C. Salama, A. Zhu, W. Taha, J. Grundy, and J. O'Leary. New Generation Comput., 28 (4): 339-369 (2010)Synchronous Elastic Circuits.M. Kishinevsky, J. Cortadella, B. Grundmann, S. Krstic, and J. O'Leary. CSR, volume 3967 of Lecture Notes in Computer Science, page 3-5. Springer, (2006)Mothers of Pipelines.S. Krstic, R. Jones, and J. O'Leary. Electron. Notes Theor. Comput. Sci., 174 (8): 7-22 (2007)Developing Interface Libraries for Reconfigurable Data Acquisition Boards.A. Wenban, G. Brown, and J. O'Leary. FPL, volume 975 of Lecture Notes in Computer Science, page 331-340. Springer, (1995)Retargeting a hardware compiler proof using protocol converters.G. Brown, W. Luk, and J. O'Leary. ASYNC, page 54-63. IEEE, (1994)Synchronous emulation of asynchronous circuits.J. O'Leary, and G. Brown. IEEE Trans. on CAD of Integrated Circuits and Systems, 16 (2): 205-209 (1997)

PUMA

Disambiguation of "O'Leary, John"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Formal verification - prove it or pitch it.

Please choose a person to relate this publication to

John Nixon University of Stuttgart

Isaac Henderson Johnson Jeyakumar University of Stuttgart

David John Cross University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "O'Leary, John"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Formal verification - prove it or pitch it.

Please choose a person to relate this publication to

John Nixon University of Stuttgart

Isaac Henderson Johnson Jeyakumar University of Stuttgart

David John Cross University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Formal verification - prove it or pitch it.