Author: ACM IEEE Design Automation Conference (22nd 1985 Las Vegas, Nev.)