Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
We describe an automated system for improving yield, power consumption and speed characteristics in the manufacture of semiconductors. Data are continually collected in the form of a history of tool usage, electrical and other real-valued measurements-a dimension of tens of thousands of features. Unique to this approach is the inference of patterns in the form of binary regression rules that demonstrate a significantly higher or lower performance value for tools relative to the overall mean for that manufacturing step. Results are filtered by knowledge-based constraints, increasing the likelihood that empirically validated rules will prove interesting and worth further investigation. This system is currently installed in the IBM 300 mm fab, manufacturing game chips and microprocessors. It has detected numerous opportunities for yield and performance improvement, saving many millions of dollars. © 2009 Springer Science+Business Media, LLC.
Barry K. Rosen
SWAT 1972
Alain Vaucher, Philippe Schwaller, et al.
AMLD EPFL 2022
Bemali Wickramanayake, Zhipeng He, et al.
Knowledge-Based Systems
Rama Akkiraju, Pinar Keskinocak, et al.
Applied Intelligence