A logic simulation engine based on a modified data flow architecture. - Ausif Mahmood; William I. Baker; Jayantha A. Herath; Anura P. Jayasumana (ICCAD, 1992)

An analysis of parallel synchronous and conservative asynchronous logic simulation schemes. - William I. Baker; Ausif Mahmood (SPDP, 1994)

Systolic algorithms for solving a sparse system of linear equations in circuit simulation. - Ausif Mahmood; Sean M. Sparks; William I. Baker (Integr., 1995)

An Evaluation of Parallel Synchronous and Conservative Asynchronous Logic-Level Simulations. - Ausif Mahmood; William I. Baker (VLSI Design, 1996)