Mellons First CMU-DA System

Scheduling, Data Path Synthesis, Controller Design, and Module Binding 

Donald E. Thomas and John A. Nestor, Defining and Implementing a Multilevel Design Representation With Simulation Applications , IEEE Trans, on CAD, pages 135-145, July 1983. 

Linking the ISPS behavioral descriptions, the micro sequence table, and the structural representation, and applications in timing abstraction. 

Nestor and D.E. Thomas, Defining and Implementing a Multilevel Design Representation with Simulation Applications , Proc. of the 19th DAC, pages 740-746, Jime 1982. 

---