Chuck Monahan

Scheduling and binding bounds for RT-level symbolic execution

Chuck Monahan, Forrest Brewer, 1997, ICCAD 1997.

Symbolic execution of data paths

Chuck Monahan, Forrest Brewer, 1995, Proceedings. Fifth Great Lakes Symposium on VLSI.

Scheduling and binding bounds for RT-level symbolic execution

Chuck Monahan, Forrest Brewer, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

Communication Driven Interconnect Synthesis

Chuck Monahan, Forrest Brewer, 1995 .

Concurrent analysis techniques for data path timing optimization

Chuck Monahan, Forrest Brewer, 1996, DAC '96.

Symbolic Modeling and Evaluation of Data Paths

Chuck Monahan, Forrest Brewer, 1995, 32nd Design Automation Conference.