Automatic Test Generation From Semi-formal Specifications for Functional Verification of System-on-Chip Designs

Christoph Kirchsteiger, Johannes Grinschgl, Christoph Trummer, Christian Steger, Reinhold Weiß, Markus Pistauer

Institute of Technical Informatics (4480)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

1 results

Active
Hardware/Software-Codesign
Steger, C., Seifert, C., Stelzer, P., Fiala, G. & Basic, F.
1/01/95 → …
Project: Research area