Semiconductor Research Corporation Technical Excellence Award
-The Technical Excellence Award was established by the SRC as an incentive and recognition program for research of exceptional value to SRC members. Authorized by the SRC Board of Directors in December 1991, the award is intended to complement the Inventor Recognition Award. The Technical Excellence Award is shared among key contributors for innovative technology that significantly enhances the productivity/competitiveness of the semiconductor industry. To date, 52 individuals have been recognized, encompassing 19 research efforts.

• Randal E. Bryant, Kenneth McMillan, Edmund M. Clarke, 1995

  For their work on "Formal Verification Techniques: Development of SMV Technique and Application to Formal Verification"