Parallel logic and fault simulation algorithms for shared memory vector machines. - Abdulla Bataineh; Füsun Özgüner; Imre Szauter (ICCAD, 1992)

Parallel and Vector Logic and Fault Simulation Algorithms on the Cray Y-MP Supercomputer. - Abdulla Bataineh; Füsun Özgüner; Imre Szauter (Simul., 1993)