Harold Brown Christopher Tong Gordon Foyster Palladio: An Exploratory Environment for Circuit Design. 41-56 1983 16 IEEE Computer 12 db/journals/computer/computer16.html#BrownTF83