A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling (2011)
- Authors:
- USP affiliated authors: STRUM, MARIUS - EP ; CHAU, WANG JIANG - EP
- Unidade: EP
- DOI: 10.1007/s10836-011-5225-8
- Assunto: CIRCUITOS INTEGRADOS
- Language: Inglês
- Imprenta:
- Publisher place: Estados Unidos
- Date published: 2011
- Source:
- Título do periódico: Journal of Electronic Testing
- ISSN: 0923-8174
- Volume/Número/Paginação/Ano: v. 27, n. 4, p. 485-503, mai. 2011
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
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: 19 abr. 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 abr. 19 ] 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 abr. 19 ] Available from: https://doi.org/10.1007/s10836-011-5225-8 - Synthesis of multi-burst controllers as standard RS architectures
- Miriã_SI: a tool for the synthesis of speed-independent multi burst-mode controllers
- Synthesis of the high performance extended burst mode asynchronous state machines
- The LRD traffic impact on the NoC-based SoCs
- Direct synthesis of speed-independent circuits using multi-burst graph specification
- Synthesis of speed-independent circuits from multi-burst graph specification and using gate-level architectures
- A PD-based methodology to enhance efficiency in testbenches with random stimulation
- Transformations for functional modules in hierarchical high level synthesis
- Sistemas digitales: elementos para un diseño a alto nivel
- Optimized cube expansion with binary decision diagrams and expansion graphs for logic minimization
Informações sobre o DOI: 10.1007/s10836-011-5225-8 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas