Robert S. Kirk

Publication Activity (10 Years)

Years Active: 1985-1988
Publications (10 Years): 0

Publications

Richard H. Lathrop, Robert J. Hall, Gavan Duffy, K. Mark Alexander, Robert S. Kirk
Advances in Functional Abstraction from Structure. DAC (1988)
Robert J. Hall, Richard H. Lathrop, Robert S. Kirk
A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits. AAAI (1987)
Richard H. Lathrop, Robert J. Hall, Robert S. Kirk
Functional Abstraction from Structure in VLSI Simulation Models. DAC (1987)
Richard H. Lathrop, Robert S. Kirk
Precedent-based manipulation of VLSI structures. DAC (1986)
Richard H. Lathrop, Robert S. Kirk
A System Which Uses Examples to Learn VLSI Structure Manipulations. AAAI (1986)
Richard H. Lathrop, Robert S. Kirk
An extensible object-oriented mixed-mod functional simulation system. DAC (1985)