Author: Annual Design Automation Conference (ASME) (17th 1991 Miami, Fla.)