Patents by Inventor Peter Wilhelm Joseph Zepter

Peter Wilhelm Joseph Zepter 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).

  • Providing guidance to an equivalence checker when a design contains retimed registers
    Patent number: 10628545
    Abstract: Systems and techniques are described for providing guidance to an equivalence checker when a design contains retimed registers. Some embodiments can perform at least a register retiming optimization on a first design to obtain a second design. Next, the embodiments can determine one or more codes to provide guidance for connecting the set/clear inputs of the retimed registers. The first design, the second design, and the one or more codes can then be provided to an equivalence checker, wherein providing the one or more codes to the equivalence checker reduces an amount of computation required by the equivalence checker to determine functional equivalence between the first design and the second design.
    Type: Grant
    Filed: July 17, 2018
    Date of Patent: April 21, 2020
    Assignee: Synopsys, Inc.
    Inventors: Muzaffer Hiraoglu, Darren Charles Cronquist, Peter Wilhelm Joseph Zepter, Navneet Kakkar, Sridhar Keladi
  • PROVIDING GUIDANCE TO AN EQUIVALENCE CHECKER WHEN A DESIGN CONTAINS RETIMED REGISTERS
    Publication number: 20200026813
    Abstract: Systems and techniques are described for providing guidance to an equivalence checker when a design contains retimed registers. Some embodiments can perform at least a register retiming optimization on a first design to obtain a second design. Next, the embodiments can determine one or more codes to provide guidance for connecting the set/clear inputs of the retimed registers. The first design, the second design, and the one or more codes can then be provided to an equivalence checker, wherein providing the one or more codes to the equivalence checker reduces an amount of computation required by the equivalence checker to determine functional equivalence between the first design and the second design.
    Type: Application
    Filed: July 17, 2018
    Publication date: January 23, 2020
    Applicant: Synopsys, Inc.
    Inventors: Muzaffer Hiraoglu, Darren Charles Cronquist, Peter Wilhelm Joseph Zepter, Navneet Kakkar, Sridhar Keladi