M. Leeser

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Reasoning about pipelines with structural hazards

M. D. Aagaard and others (1995) · Springer Berlin Heidelberg

PBS: proven Boolean simplification

M. Aagaard and others (1994) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers (IEEE)

Using Nuprl for the verification and synthesis of hardware

M. Leeser (1992) · Mechanized Reasoning and Hardware Design · Prentice Hall

A formally verified system for logic synthesis

M. Aagaard and others (1991) · IEEE Comput. Soc. Press

The BEDROC high level synthesis system

M. Leeser and others (1991) · IEEE