![](/img/cover-not-exists.png)
[IEEE 2008 Symposium on Application Specific Processors (SASP) - Anaheim, CA, USA (2008.06.8-2008.06.9)] 2008 Symposium on Application Specific Processors - Proving Functional Correctness of Weakly Programmable IPs - A Case Study with Formal Property Checking
Loitz, Sacha, Wedler, Markus, Brehm, Christian, Vogt, Timo, Wehn, Norbert, Kunz, WolfgangYear:
2008
Language:
english
DOI:
10.1109/sasp.2008.4570785
File:
PDF, 164 KB
english, 2008