Work

Panel: Assertion-Based Verification -What's the Big Deal?

Year: 2006

Type: conference-abstract

Source: Proceedings

DOI: 10.1109/hldvt.2006.319989

Authors: Sandeep Shukla, Alan Hu, Jacob Abrahams, Pranav Ashar, Harry Foster, Avner Landver, Carl Pixley

Institutions: Virginia Tech, University of British Columbia, The University of Texas at Austin, Mentor Graphics (United States), Synopsys (Switzerland), Synopsys (United States)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2015809588

Cites:

Cited by: 6

Related to: 10