![](/img/cover-not-exists.png)
Ein Ansatz zur formalen Verifikation von Schaltungsbeschreibungen in SystemC (An Approach for Formal Verification of Circuits in SystemC)
Große, Daniel, Drechsler, RolfVolume:
45
Language:
german
Journal:
it - Information Technology
DOI:
10.1524/itit.45.4.219.22731
Date:
January, 2003
File:
PDF, 571 KB
german, 2003