On verifying the correctness of retimed circuits

Overview of attention for article published in Ninth Great Lakes Symposium on VLSI, January 1996

Altmetric Badge

Mentioned by

patent: 7 patents

So far, Altmetric has seen 7 patents that reference this research output.

Method and apparatus for performing rewind structural verification of retimed circuits…

Grant US-10922461-B2

United States of America

16 Feb 2021

Method and apparatus for verifying initial state equivalence of changed registers in…

Grant US-10706203-B1

United States of America

07 Jul 2020

Method and apparatus for verifying structural correctness in retimed circuits

Grant US-10671790-B2

United States of America

02 Jun 2020

Method and apparatus for reducing constraints during rewind structural verification of…

Grant US-10489535-B2

United States of America

26 Nov 2019

This page shows the most recent patents that mention this research output. Click here to find out how to access more activity, including 3 additional patents.