Patents by Inventor David Ryan Spatafore

David Ryan Spatafore has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • System, method, and computer program product for computing formal coverage data compatible with dynamic verification
    Patent number: 10515169
    Abstract: The present disclosure is directed towards electronic circuit design and verification. Embodiments may include receiving, using a processor, source code corresponding to at least a portion of an electronic design and generating at least one coverage model for each of a dynamic verification and a formal verification. The method may further include determining a formal data set including stimuli coverage status, cone of influence coverage status, and proof coverage status and consolidating the formal data set using a user-programmable consolidation function to generate a combined formal coverage data set.
    Type: Grant
    Filed: January 6, 2018
    Date of Patent: December 24, 2019
    Assignee: Cadence Design Systems, Inc.
    Inventors: David Ryan Spatafore, Amit Verma, Anubhav Srivastava