Steven Parkes, Prithviraj Banerjee, Janak H. Patel. A parallel algorithm for fault simulation based on PROOFS . In 1995 International Conference on Computer Design (ICCD 95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings. pages 616, IEEE Computer Society, 1995. [doi]
Abstract is missing.