BibTeX record conf/sasp/LoitzWBVWK08

• > Home > conf/sasp/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    = {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}},
  pages        = {48--54},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SASP.2008.4570785},
  doi          = {10.1109/SASP.2008.4570785},
  timestamp    = {Thu, 23 Mar 2023 23:59:39 +0100},
  biburl       = {https://dblp.org/rec/conf/sasp/LoitzWBVWK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}