Treffer 1 - 6 von 6 für Suche 'Tavares, Andréa Iabrudi', Suchdauer: 0,32s Treffer weiter einschränken
  1. 1
    Methods, systems, and articles of manufacture for graph-driven verification and debugging of an electronic design

    Methods, systems, and articles of manufacture for graph-driven verification and debugging of an electronic design von Tavares, Andrea Iabrudi, Lin, Chien-Liang, Ip, Chung-Wah Norris

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Efficient Allocation of Verification Resources using Revision History Information

    Efficient Allocation of Verification Resources using Revision History Information von Nacif, J.A., Silva, T., Tavares, A.I., Fernandes, A.O., Coelho, C.N.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Methods, systems, and articles of manufacture for verifying an electronic design using hierarchical clock domain crossing verification techniques

    Methods, systems, and articles of manufacture for verifying an electronic design using hierarchical clock domain crossing verification techniques von Tavares, Andrea Iabrudi, Costa, Artur Melo Mota, Loh, Lawrence, Peixoto, Fabiano, Guimaraes, Breno Rodrigues

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  4. 4
    An Embedded Converter from RS232 to Universal Serial Bus

    An Embedded Converter from RS232 to Universal Serial Bus von Zuquim, Ana Luiza de Almeida Pereira, Coelho Jr, Claudionor José Nunes, Fernandes, Antônio Otávio, Pêgo de Oliveira, Marcos, Tavares, Andréa Iabrudi

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Methods, systems, and computer program product for verifying electronic designs with clock domain crossing paths

    Methods, systems, and computer program product for verifying electronic designs with clock domain crossing paths von Tavares Andrea Iabrudi, Gomes Marcus Vinicius da Mata, Loh Lawrence, Peixoto Fabiano, Sun Xiaoyang

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Method, system, and computer program product for verifying an electronic circuit design with a graph-based proof flow

    Method, system, and computer program product for verifying an electronic circuit design with a graph-based proof flow von Tavares Andrea Iabrudi, Coelho, Jr. Claudionor Jose Nunes, Peixoto Fabiano, Santos Tamires Vargas Campanema Franco, Campos Caio Araujo Texeira

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: