Symbolic Modeling and Evaluation of Data Paths. - Chuck Monahan; Forrest Brewer (DAC, 1995)

Symbolic execution of data paths. - Chuck Monahan; Forrest Brewer (Great Lakes Symposium on VLSI, 1995)

Concurrent Analysis Techniques for Data Path Timing Optimization. - Chuck Monahan; Forrest Brewer (DAC, 1996)

Scheduling and binding bounds for RT-level symbolic execution. - Chuck Monahan; Forrest Brewer (ICCAD, 1997)