Author: ACM IEEE Design Automation Conference (30th 1993 Dallas, Tex.)