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. In 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, IEEE, 2008. [doi]
Abstract is missing.