@InProceedings{Loitz:SASP2008-48,
  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",
  pages =        "48--54",
  booktitle =    "Symposium on Application Specific Processors (SASP 2008)",
  address =      "Anaheim, CA, USA",
  year =         "2008",
  month =        jun,
  publisher =    "IEEE",
  ee =           "http://dx.doi.org/10.1109/SASP.2008.4570785",
}