LoitzWBVWK08'

@inproceedings{DBLP:conf/sasp/LoitzWBVWK08,
  author    = {Sacha Loitz and
               Markus Wedler and
               Christian Brehm and
               Timo Vogt and
               Norbert Wehn and
               Wolfgang Kunz},
  title     = {Proving Functional Correctness of Weakly Programmable IPs
               - A Case Study with Formal Property Checking},
  booktitle = {SASP},
  year      = {2008},
  pages     = {48-54},
  ee        = {http://dx.doi.org/10.1109/SASP.2008.4570785},
  crossref  = {DBLP:conf/sasp/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sasp/2008,
  title     = {Proceedings of the IEEE Symposium on Application Specific
               Processors, SASP 2008, held in conjunction with the DAC
               2008, June 8-9, 2008, Anaheim, California, USA},
  booktitle = {SASP},
  publisher = {IEEE},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}