All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Method and an apparatus for automatic processor design and verification

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F16%3APA21568" target="_blank" >RIV/00216305:26230/16:PA21568 - isvavai.cz</a>

  • Result on the web

    <a href="http://patft.uspto.gov/netacgi/nph-Parser?Sect1=PTO1&Sect2=HITOFF&d=PALL&p=1&u=%2Fnetahtml%2FPTO%2Fsrchnum.htm&r=1&f=G&l=50&s1=9286268.PN.&OS=PN/9286268&RS=PN/9286268" target="_blank" >http://patft.uspto.gov/netacgi/nph-Parser?Sect1=PTO1&Sect2=HITOFF&d=PALL&p=1&u=%2Fnetahtml%2FPTO%2Fsrchnum.htm&r=1&f=G&l=50&s1=9286268.PN.&OS=PN/9286268&RS=PN/9286268</a>

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    Method and an apparatus for automatic processor design and verification

  • Original language description

    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.

  • Czech name

  • Czech description

Classification

  • Type

    P - Patent

  • CEP classification

  • OECD FORD branch

    20206 - Computer hardware and architecture

Result continuities

  • Project

  • Continuities

    N - Vyzkumna aktivita podporovana z neverejnych zdroju

Others

  • Publication year

    2016

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Patent/design ID

    US9235669

  • Publisher

    US001 -

  • Publisher name

    United States Patent and Trademark Office (USPTO)

  • Place of publication

    Alexandria

  • Publication country

    US - UNITED STATES

  • Date of acceptance

    Jan 12, 2016

  • Owner name

    Codasip s.r.o.

  • Method of use

    A - Výsledek využívá pouze poskytovatel

  • Usage type

    P - Využití výsledku jiným subjektem je v některých případech možné bez nabytí licence