Robert S. Kirk

Learn More
High-level functional (or behavioral) simulation models are difficult, time-consuming, and expensive to develop. We report on a method for automatically generating the program code for a high-level functional simulation model. The high-level model is produced directly from the program code for the circuit components' functional models and a netlist(More)
A LISP-based functional simulation system supporting a general concept of function and abstraction is described. SIMMER was developed primarily to support research into the relation of structure to function and associated description languages, and also to provide assistance to the designer analyzing especially difficult circuits. It consists of a general(More)
Focusing especially on the later stages of the design task, when a complete (or nearly so) design is being optimized at the structural level prior to final physical layout, we identify some aspects of the VLSI domain which complicate efficient design both for human and machine agents. We describe a simple but useful idea and a prototype implemented system(More)
FUNSTRUX has been extended to extract behavioral level models for a commercial simulator directly from a circuit netlist. Recent advances include: a retargetable code generation mechanism; an object-oriented control structure; handling of initialization values; and improved run-time and space requirements of the abstraction process. We discuss some of the(More)
  • 1