Author: ACM IEEE Design Automation Conference (23rd 1986 Las Vegas, Nev.)