Work

Towards assertion-based verification of heterogeneous system designs

Year: 2010

Type: article

Source: Design, Automation, and Test in Europe

DOI: 10.5555/1870926.1871210

Authors: Stefan Lämmermann, Jürgen Ruf, Thomas Kröpf, Wolfgang Rosenstiel, Alexander Viehl, Alexander Jesser, Lars Hedrich

Institutions: University of Tübingen, FZI Research Center for Information Technology, Goethe University Frankfurt

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2123962007

FWCI: 1.644

Cites: 12

Cited by: 9

Related to: 10