Publications

Zabel, Henning; Rettberg, Achim; Krupp, Alexander: Approach for formal Verification of a Bit-Serial pipelined Architecture. In: Rettberg, Achim; Zanella, Mauro C.; Dömer, Rainer; Gerstlauer, A.; Rammig, Franz-Josef editor. : Embedded System Design: Topics Techniques and Trends, S. 47-56, IRWINE(CA), USA, 30 May - 1 June 2007, Springer-Verlag

files

Approach For Formal Verification.pdf

Bibtex

@inproceedings{hniid=2828,
author = {Zabel, Henning and Rettberg, Achim and Krupp, Alexander},
title = {Approach for formal Verification of a Bit-Serial pipelined Architecture},
editor = {Rettberg, Achim and Zanella, Mauro C. and Dömer, Rainer and Gerstlauer, A. and Rammig, Franz-Josef},
booktitle = {Embedded System Design: Topics Techniques and Trends},
pages = {47-56},
address = {IRWINE(CA), USA},
publisher = {Springer-Verlag},
month = {30~} # may # { - 1~} # jun,
year = {2007},
}