ReP USP - Resultado da busca

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
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: 03 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. 03 ] 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. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3140/tde-23122014-155143/
Artigo de periodico
A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling (2011)
Castro Márquez, Carlos Iván; Tobar, Edgar Leonardo Romero; Strum, Marius; Wang, Jiang Chau
Source: Journal of Electronic Testing. Unidade: EP
Assunto: CIRCUITOS INTEGRADOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CASTRO MÁRQUEZ, Carlos Iván et al. A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling. Journal of Electronic Testing, v. 27, n. 4, p. 485-503, 2011Tradução . . Disponível em: https://doi.org/10.1007/s10836-011-5225-8. Acesso em: 03 jun. 2024.
APA
Castro Márquez, C. I., Tobar, E. L. R., Strum, M., & Wang, J. C. (2011). A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling. Journal of Electronic Testing, 27( 4), 485-503. doi:10.1007/s10836-011-5225-8
NLM
Castro Márquez CI, Tobar ELR, Strum M, Wang JC. A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling [Internet]. Journal of Electronic Testing. 2011 ; 27( 4): 485-503.[citado 2024 jun. 03 ] Available from: https://doi.org/10.1007/s10836-011-5225-8
Vancouver
Castro Márquez CI, Tobar ELR, Strum M, Wang JC. A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling [Internet]. Journal of Electronic Testing. 2011 ; 27( 4): 485-503.[citado 2024 jun. 03 ] Available from: https://doi.org/10.1007/s10836-011-5225-8
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)
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: 03 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. 03 ] 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. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3140/tde-26032009-172605/
Trabalho de evento
A PD-based methodology to enhance efficiency in testbenches with random stimulation (2009)
Castro Márquez, Carlos Iván; Strum, Marius; Wang, Jiang Chau
Source: SBCCI 2009: Proceedings. Conference titles: Symposium on Integrated Circuits and Systems Design. Unidade: EP
Assunto: ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CASTRO MÁRQUEZ, Carlos Iván e STRUM, Marius e WANG, Jiang Chau. A PD-based methodology to enhance efficiency in testbenches with random stimulation. 2009, Anais.. Natal: Sociedade Brasileira de Computação, 2009. Disponível em: https://doi.org/10.1145/1601896.1601921. Acesso em: 03 jun. 2024.
APA
Castro Márquez, C. I., Strum, M., & Wang, J. C. (2009). A PD-based methodology to enhance efficiency in testbenches with random stimulation. In SBCCI 2009: Proceedings. Natal: Sociedade Brasileira de Computação. doi:10.1145/1601896.1601921
NLM
Castro Márquez CI, Strum M, Wang JC. A PD-based methodology to enhance efficiency in testbenches with random stimulation [Internet]. SBCCI 2009: Proceedings. 2009 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1145/1601896.1601921
Vancouver
Castro Márquez CI, Strum M, Wang JC. A PD-based methodology to enhance efficiency in testbenches with random stimulation [Internet]. SBCCI 2009: Proceedings. 2009 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1145/1601896.1601921

USP Schools

ReP

Filtros