Matches in SemOpenAlex for { <https://semopenalex.org/work/W2136974773> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2136974773 abstract "While the coverage-driven design validation is becoming popular, it would be more convenient for users to have an automatic generator that can generate the input patterns to satisfy the coverage requirements. The symbolic techniques can be used to generate the desired input patterns easily for a specific state transition in a FSM. However, it is not practical for real designs because the memory requirement is often unmanageable. In this paper, we propose an automatic pattern generation engine that can overcome the memory issues for large circuits. It can generate all possible input combinations or notify that such cases will never happen for any specific state transitions. Because we can reasonably partition the HDL designs into the interacting FSM model, the peak memory requirement can be significantly reduced by using the divide and conquer strategy for those small FSMs. The experimental results show that we can indeed generate the required input patterns with reasonable memory requirement for the designs with thousands of registers." @default.
- W2136974773 created "2016-06-24" @default.
- W2136974773 creator A5011598779 @default.
- W2136974773 creator A5017961053 @default.
- W2136974773 creator A5085783809 @default.
- W2136974773 date "2002-11-13" @default.
- W2136974773 modified "2023-09-26" @default.
- W2136974773 title "Automatic functional vector generation using the interacting FSM model" @default.
- W2136974773 cites W128596927 @default.
- W2136974773 cites W2000557929 @default.
- W2136974773 cites W2002845925 @default.
- W2136974773 cites W2004917085 @default.
- W2136974773 cites W2022371756 @default.
- W2136974773 cites W2026584294 @default.
- W2136974773 cites W2080267935 @default.
- W2136974773 cites W2091913526 @default.
- W2136974773 cites W2099120582 @default.
- W2136974773 cites W2102454528 @default.
- W2136974773 cites W2102606870 @default.
- W2136974773 cites W2128475506 @default.
- W2136974773 cites W2151715822 @default.
- W2136974773 cites W2170792466 @default.
- W2136974773 cites W2125552249 @default.
- W2136974773 doi "https://doi.org/10.1109/isqed.2001.915258" @default.
- W2136974773 hasPublicationYear "2002" @default.
- W2136974773 type Work @default.
- W2136974773 sameAs 2136974773 @default.
- W2136974773 citedByCount "1" @default.
- W2136974773 crossrefType "proceedings-article" @default.
- W2136974773 hasAuthorship W2136974773A5011598779 @default.
- W2136974773 hasAuthorship W2136974773A5017961053 @default.
- W2136974773 hasAuthorship W2136974773A5085783809 @default.
- W2136974773 hasConcept C112505250 @default.
- W2136974773 hasConcept C11413529 @default.
- W2136974773 hasConcept C114614502 @default.
- W2136974773 hasConcept C121332964 @default.
- W2136974773 hasConcept C163258240 @default.
- W2136974773 hasConcept C167822520 @default.
- W2136974773 hasConcept C2780992000 @default.
- W2136974773 hasConcept C33923547 @default.
- W2136974773 hasConcept C41008148 @default.
- W2136974773 hasConcept C42812 @default.
- W2136974773 hasConcept C48103436 @default.
- W2136974773 hasConcept C62520636 @default.
- W2136974773 hasConcept C71559656 @default.
- W2136974773 hasConcept C80444323 @default.
- W2136974773 hasConceptScore W2136974773C112505250 @default.
- W2136974773 hasConceptScore W2136974773C11413529 @default.
- W2136974773 hasConceptScore W2136974773C114614502 @default.
- W2136974773 hasConceptScore W2136974773C121332964 @default.
- W2136974773 hasConceptScore W2136974773C163258240 @default.
- W2136974773 hasConceptScore W2136974773C167822520 @default.
- W2136974773 hasConceptScore W2136974773C2780992000 @default.
- W2136974773 hasConceptScore W2136974773C33923547 @default.
- W2136974773 hasConceptScore W2136974773C41008148 @default.
- W2136974773 hasConceptScore W2136974773C42812 @default.
- W2136974773 hasConceptScore W2136974773C48103436 @default.
- W2136974773 hasConceptScore W2136974773C62520636 @default.
- W2136974773 hasConceptScore W2136974773C71559656 @default.
- W2136974773 hasConceptScore W2136974773C80444323 @default.
- W2136974773 hasLocation W21369747731 @default.
- W2136974773 hasOpenAccess W2136974773 @default.
- W2136974773 hasPrimaryLocation W21369747731 @default.
- W2136974773 hasRelatedWork W1481440152 @default.
- W2136974773 hasRelatedWork W1494073859 @default.
- W2136974773 hasRelatedWork W1770434780 @default.
- W2136974773 hasRelatedWork W1799084432 @default.
- W2136974773 hasRelatedWork W1839397954 @default.
- W2136974773 hasRelatedWork W1950625 @default.
- W2136974773 hasRelatedWork W1967675464 @default.
- W2136974773 hasRelatedWork W1979780612 @default.
- W2136974773 hasRelatedWork W1989897827 @default.
- W2136974773 hasRelatedWork W2027298333 @default.
- W2136974773 hasRelatedWork W203992939 @default.
- W2136974773 hasRelatedWork W2113422425 @default.
- W2136974773 hasRelatedWork W2131945449 @default.
- W2136974773 hasRelatedWork W2142387817 @default.
- W2136974773 hasRelatedWork W2146805831 @default.
- W2136974773 hasRelatedWork W2146975944 @default.
- W2136974773 hasRelatedWork W2147965637 @default.
- W2136974773 hasRelatedWork W2167003754 @default.
- W2136974773 hasRelatedWork W2167402388 @default.
- W2136974773 hasRelatedWork W608789714 @default.
- W2136974773 isParatext "false" @default.
- W2136974773 isRetracted "false" @default.
- W2136974773 magId "2136974773" @default.
- W2136974773 workType "article" @default.