Work

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

Year: 2018

Type: conference-paper

Source: Design, Automation, and Test in Europe

DOI: 10.23919/date.2018.8341979

Authors: Mohammad Rahmani Fadiheh, Joakim Urdahl, Srinivas Shashank Nuthakki, Subhasish Mitra, Clark Barrett, Dominik Stoffel, Wolfgang Kunz

Institutions: University of Kaiserslautern, Stanford University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2798765367

FWCI: 2.327

Cites: 23

Cited by: 24

Related to: 10