Symbolic quick error detection using symbolic initial state for pre-silicon verification.

Mohammad Rahmani Fadiheh, Joakim Urdahl, Srinivasa Shashank Nuthakki, Subhasish Mitra, Clark W. Barrett, Dominik Stoffel, Wolfgang Kunz

Browse the full DATE paper archive.