Towards a Formal Model of VLSI Systems Compativle with VHDL. - Philip A. Wilsey; Timothy J. McBrayer; David Sims (VLSI, 1991)

graze: A Tool for Performance Visualization and Analysis. - Lantz Moore; Debra A. Hensgen; David Charley; Venkatram Krishnaswamy; Dale E. Martin; Timothy J. McBrayer; Philip A. Wilsey (ICPP (2), 1995)

Process combination to increase event granularity in parallel logic simulation. - Timothy J. McBrayer; Philip A. Wilsey (IPPS, 1995)

A Comparative Analysis of Various Time Warp Algorithms Implemented in the WARPED Simulation Kernel. - Radharamanan Radhakrishnan; Timothy J. McBrayer; Krishnan Subramani; Malolan Chetlur; Vijay Balakrishnan; Philip A. Wilsey (Annual Simulation Symposium, 1996)

WARPED: Time Warp Simulation Kernel for Analysis and Application Development. - Dale E. Martin; Timothy J. McBrayer; Philip A. Wilsey (HICSS (1), 1996)