@inproceedings{102008,
               author = {Stefan Lämmermann, Alexander Pacholik, Alexander Jesser, Roland Weiss, Jürgen Ruf, Wolfgang Fengler, Lars Hedrich, Thomas Kropf, Wolfgang Rosenstiel},
               title = {Improving Mixed-Signal Verification by Assertion Based Design},
               booktitle = {16th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)},
               year = {2008},
               month = {10},
               pages = {144-148},
               address = { Rhodos, Griechenland}
}