Patents by Inventor Zden{hacek over (e)}k P{hacek over (r)}ikryl

Zden{hacek over (e)}k P{hacek over (r)}ikryl 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).

  • Method and an apparatus for automatic generation of verification environment for processor design and verification
    Patent number: 9235670
    Abstract: A method and a system embodying the method for automatic generation of a verification environment, comprising providing a first model of an application-specific instruction-set processor; providing a second model of the application-specific instruction-set processor; and generating automatically the verification environment from the first model and the second model is disclosed.
    Type: Grant
    Filed: February 18, 2014
    Date of Patent: January 12, 2016
    Assignee: CODASIP, s.r.o.
    Inventors: Zden{hacek over (e)}k P{hacek over (r)}ikryl, Marcela {hacek over (S)}imková, Karel Masa{hacek over (r)}ík
  • Method and an apparatus for automatic processor design and verification
    Patent number: 9235669
    Abstract: A method and a system embodying the method for automatic application-specific instruction-set processor design and verification, comprising generating programming and simulation tools in accordance with application-specific instruction-set processor specifications automatically by an Electronic Design Automation tool; generating a reference model and a hardware description of the application-specific instruction-set processor in accordance with the application-specific instruction-set processor specifications automatically by the Electronic Design Automation tool; and verifying the hardware description against the reference model is disclosed.
    Type: Grant
    Filed: February 18, 2014
    Date of Patent: January 12, 2016
    Assignee: CODASIP S.R.O.
    Inventors: Zden{hacek over (e)}k P{hacek over (r)}ikryl, Adam Husár, Karel Masa{hacek over (r)}ík, Tomá{hacek over (s)} Hru{hacek over (s)}ka