Patents by Inventor Eduard Rudolf Cerny

Eduard Rudolf Cerny 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).

  • Unified functional coverage and synthesis flow for formal verification and emulation
    Patent number: 11188695
    Abstract: Synthesis of functional coverage (e.g., covergroups) is optimized for hardware emulation. The optimization may reduce the number of logic gates used to implement the hardware emulator circuits or reduce the computer resources used to synthesize the hardware emulator circuits. The optimization may also prevent the synthesis of unnecessary circuits. In another aspect, the optimization may result in a representation that may be used both to synthesize hardware emulation circuits and as part of formal verification. This may result in a model that can be used for formal verification, hardware emulation, and software simulation.
    Type: Grant
    Filed: August 8, 2018
    Date of Patent: November 30, 2021
    Assignee: Synopsys, Inc.
    Inventors: Dmitry Korchemny, Ashok Kumar Bhatt, Eduard Rudolf Cerny, Hanish Singla
  • UNIFIED FUNCTIONAL COVERAGE AND SYNTHESIS FLOW FOR FORMAL VERIFICATION AND EMULATION
    Publication number: 20190050516
    Abstract: Synthesis of functional coverage (e.g., covergroups) is optimized for hardware emulation. The optimization may reduce the number of logic gates used to implement the hardware emulator circuits or reduce the computer resources used to synthesize the hardware emulator circuits. The optimization may also prevent the synthesis of unnecessary circuits. In another aspect, the optimization may result in a representation that may be used both to synthesize hardware emulation circuits and as part of formal verification. This may result in a model that can be used for formal verification, hardware emulation, and software simulation.
    Type: Application
    Filed: August 8, 2018
    Publication date: February 14, 2019
    Inventors: Dmitry Korchemny, Ashok Kumar Bhatt, Eduard Rudolf Cerny, Hanish Singla