M. Aagaard

3 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.

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)

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