Knowledge Base of
Publications, Seminars, & Math Library

Filter for: Miriam Leeser

4 results

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

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

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

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