Sacha Loitz Markus Wedler Christian Brehm Timo Vogt Norbert Wehn Wolfgang Kunz Proving Functional Correctness of Weakly Programmable IPs - A Case Study with Formal Property Checking. 48-54 2008 SASP http://dx.doi.org/10.1109/SASP.2008.4570785 conf/sasp/2008 db/conf/sasp/sasp2008.html#LoitzWBVWK08