Menu

Filtros : "PSI" "Castro Márquez, Carlos Iván" Limpar

  • 1

1 - 2 (2 records)

  • Tese (Doutorado)

    Checagem de equivalência de sequências de estados de projetos digitais em RTL com modelos de referência em alto nível e de protocolo de comunicação (2014)

    Castro Márquez, Carlos Iván; Wang, Jiang Chau (Orientador)

    Unidade: EP

    Assunto: PROTOCOLOS DE COMUNICAÇÃO

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      CASTRO MÁRQUEZ, Carlos Iván. Checagem de equivalência de sequências de estados de projetos digitais em RTL com modelos de referência em alto nível e de protocolo de comunicação. 2014. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3140/tde-23122014-155143/. Acesso em: 06 jun. 2024.

    • APA

      Castro Márquez, C. I. (2014). Checagem de equivalência de sequências de estados de projetos digitais em RTL com modelos de referência em alto nível e de protocolo de comunicação (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3140/tde-23122014-155143/

    • NLM

      Castro Márquez CI. Checagem de equivalência de sequências de estados de projetos digitais em RTL com modelos de referência em alto nível e de protocolo de comunicação [Internet]. 2014 ;[citado 2024 jun. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3140/tde-23122014-155143/

    • Vancouver

      Castro Márquez CI. Checagem de equivalência de sequências de estados de projetos digitais em RTL com modelos de referência em alto nível e de protocolo de comunicação [Internet]. 2014 ;[citado 2024 jun. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3140/tde-23122014-155143/

  • Dissertação (Mestrado)

    Análise da influência do uso de domínios de parâmetros sobre a eficiência da verificação funcional baseada em estimulação aleatória (2009)

    Castro Márquez, Carlos Iván; Wang, Jiang Chau (Orientador)

    Unidade: EP

    Assunto: CIRCUITOS INTEGRADOS (PROJETO;METODOLOGIA)

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      CASTRO MÁRQUEZ, Carlos Iván. Análise da influência do uso de domínios de parâmetros sobre a eficiência da verificação funcional baseada em estimulação aleatória. 2009. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2009. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3140/tde-26032009-172605/. Acesso em: 06 jun. 2024.

    • APA

      Castro Márquez, C. I. (2009). Análise da influência do uso de domínios de parâmetros sobre a eficiência da verificação funcional baseada em estimulação aleatória (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3140/tde-26032009-172605/

    • NLM

      Castro Márquez CI. Análise da influência do uso de domínios de parâmetros sobre a eficiência da verificação funcional baseada em estimulação aleatória [Internet]. 2009 ;[citado 2024 jun. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3140/tde-26032009-172605/

    • Vancouver

      Castro Márquez CI. Análise da influência do uso de domínios de parâmetros sobre a eficiência da verificação funcional baseada em estimulação aleatória [Internet]. 2009 ;[citado 2024 jun. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3140/tde-26032009-172605/
  • 1

1 - 2 (2 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024