Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Miriam Leeser

4 results

Publication Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization | cite »
by John O'Leary, Miriam Leeser, Jason Hickey, Mark Aagaard

Publication Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification | cite »
by Mark Aagaard, Miriam Leeser

Publication Using Nuprl for the Verification and Synthesis of Hardware | cite »
by Miriam Leeser

Publication Formally Verified Synthesis of Combinational Circuits | cite »
by David A. Basin, Geoffrey Brown, Miriam Leeser