Albert Wang

Implicit enumeration techniques applied to asynchronous circuit verification

Sharad Malik, Kurt Keutzer, Srinivas Devadas, 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.

Verification of asynchronous interface circuits with bounded wire delays

Kurt Keutzer, Sharad Malik, Srinivas Devadas, 1992, ICCAD 1992.

Performance-oriented technology mapping

Robert K. Brayton, Cho W. Moon, Albert Wang, 1990 .

Certified timing verification and the transition delay of a logic circuit

Sharad Malik, Kurt Keutzer, Srinivas Devadas, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

Code Generation and Optimization Techniques for Embedded Digital Signal Processors

Heinrich Meyr, Kurt Keutzer, Sharad Malik, 1996 .