Towards assertion-based verification of heterogeneous system designs.

Stefan Lmmermann, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Alexander Viehl, Alexander Jesser, Lars Hedrich

Browse the full DATE paper archive.