Author: ACM IEEE Design Automation Conference (19th 1982 Las Vegas, Nev.)