CHAMP: concurrent hierarchical and multilevel program for simulation of VLSI circuits. - Daniel G. Saab; Robert B. Mueller-Thuns; David T. Blaauw; Jacob A. Abraham; Joseph T. Rahmeh (ICCAD, 1988)

Automatic Generation of Behavioral Models from Switch-Level Descriptions. - David T. Blaauw; Daniel G. Saab; Robert B. Mueller-Thuns; Jacob A. Abraham; Joseph T. Rahmeh (DAC, 1989)

Portable parallel logic and fault simulation. - Robert B. Mueller-Thuns; Daniel G. Saab; Robert F. Damiano; Jacob A. Abraham (ICCAD, 1989)

Algorithm-Based Fault Tolerance for Adaptive Least Squares Lattice Filtering on a Hypercube Multiprocessor. - Robert B. Mueller-Thuns; David McFarland; Prithviraj Banerjee (ICPP (3), 1989)

SNEL: A Switch-Level Simulator Using Multiple Levels of Functional Abstraction. - David T. Blaauw; Robert B. Mueller-Thuns; Daniel G. Saab; Prithviraj Banerjee; Jacob A. Abraham (ICCAD, 1990)

Fault grading of large digital systems. - Daniel G. Saab; Robert B. Mueller-Thuns; David T. Blaauw; Joseph T. Rahmeh; Jacob A. Abraham (ICCD, 1990)

Design of a scalable parallel switch-level simulator for VLSI. - Robert B. Mueller-Thuns; Daniel G. Saab; Jacob A. Abraham (SC, 1990)

Hierarchical multi-level fault simulation of large systems. - Daniel G. Saab; Robert B. Mueller-Thuns; David T. Blaauw; Joseph T. Rahmeh; Jacob A. Abraham (J. Electron. Test., 1990)

Parallel processing for VLSI simulation - Robert B. Mueller-Thuns (1990)

Parallel switch-level simulation for VLSI. - Robert B. Mueller-Thuns; Daniel G. Saab; Jacob A. Abraham (EURO-DAC, 1991)

Concurrent Hierarchical and Multilevel Simulation of VLSI Circuits. - Robert B. Mueller-Thuns; Joseph T. Rahmeh; Jacob A. Abraham; Jalal A. Wehbeh; Daniel G. Saab (Simul., 1993)

VLSI logic and fault simulation on general-purpose parallel computers. - Robert B. Mueller-Thuns; Daniel G. Saab; Robert F. Damiano; Jacob A. Abraham (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993)

Benchmarking Parallel Processing Platforms: An Applications Perspective. - Robert B. Mueller-Thuns; Daniel G. Saab; Robert F. Damiano; Jacob A. Abraham (IEEE Trans. Parallel Distributed Syst., 1993)

Improving Language Containment Using Fairness Graphs. - Ramin Hojati; Robert B. Mueller-Thuns; Robert K. Brayton (CAV, 1994)