Matches in SemOpenAlex for { <https://semopenalex.org/work/W2391907769> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2391907769 abstract "A novel method for automatic generating simulation vectors from HDL descriptions based on path coverage and constraint solving is presented. The method only generates constraints for condition expression of the control statements, which can reduce the costs on constraint solving. It can deal with all constraints involving bits, bit-vectors and integers. It can deal with various HDL description styles, and various types of designs. Experimental results on several practical designs show that our method can efficiently improve the simulation vector generation process, which in turn accelerates the design process. The vectors generated by our method can also be used in low-level verification and fault simulation. The prototype system has been applied to verify RTL description of a real 32-bit microprocessor design and complex bugs remained hidden in the RTL descriptions are detected." @default.
- W2391907769 created "2016-06-24" @default.
- W2391907769 creator A5031393277 @default.
- W2391907769 date "2004-01-01" @default.
- W2391907769 modified "2023-09-25" @default.
- W2391907769 title "A New Method for Automatic Generating Simulation Vectors from HDL Descriptions Based-on Path Coverage" @default.
- W2391907769 hasPublicationYear "2004" @default.
- W2391907769 type Work @default.
- W2391907769 sameAs 2391907769 @default.
- W2391907769 citedByCount "0" @default.
- W2391907769 crossrefType "journal-article" @default.
- W2391907769 hasAuthorship W2391907769A5031393277 @default.
- W2391907769 hasConcept C11413529 @default.
- W2391907769 hasConcept C127313418 @default.
- W2391907769 hasConcept C149635348 @default.
- W2391907769 hasConcept C165205528 @default.
- W2391907769 hasConcept C173608175 @default.
- W2391907769 hasConcept C175551986 @default.
- W2391907769 hasConcept C199360897 @default.
- W2391907769 hasConcept C2524010 @default.
- W2391907769 hasConcept C2776036281 @default.
- W2391907769 hasConcept C2777735758 @default.
- W2391907769 hasConcept C2780728072 @default.
- W2391907769 hasConcept C33923547 @default.
- W2391907769 hasConcept C41008148 @default.
- W2391907769 hasConcept C80444323 @default.
- W2391907769 hasConcept C98045186 @default.
- W2391907769 hasConceptScore W2391907769C11413529 @default.
- W2391907769 hasConceptScore W2391907769C127313418 @default.
- W2391907769 hasConceptScore W2391907769C149635348 @default.
- W2391907769 hasConceptScore W2391907769C165205528 @default.
- W2391907769 hasConceptScore W2391907769C173608175 @default.
- W2391907769 hasConceptScore W2391907769C175551986 @default.
- W2391907769 hasConceptScore W2391907769C199360897 @default.
- W2391907769 hasConceptScore W2391907769C2524010 @default.
- W2391907769 hasConceptScore W2391907769C2776036281 @default.
- W2391907769 hasConceptScore W2391907769C2777735758 @default.
- W2391907769 hasConceptScore W2391907769C2780728072 @default.
- W2391907769 hasConceptScore W2391907769C33923547 @default.
- W2391907769 hasConceptScore W2391907769C41008148 @default.
- W2391907769 hasConceptScore W2391907769C80444323 @default.
- W2391907769 hasConceptScore W2391907769C98045186 @default.
- W2391907769 hasLocation W23919077691 @default.
- W2391907769 hasOpenAccess W2391907769 @default.
- W2391907769 hasPrimaryLocation W23919077691 @default.
- W2391907769 hasRelatedWork W104667686 @default.
- W2391907769 hasRelatedWork W1801221103 @default.
- W2391907769 hasRelatedWork W1964785286 @default.
- W2391907769 hasRelatedWork W1986193117 @default.
- W2391907769 hasRelatedWork W2001084275 @default.
- W2391907769 hasRelatedWork W2037073597 @default.
- W2391907769 hasRelatedWork W2047436834 @default.
- W2391907769 hasRelatedWork W2095913769 @default.
- W2391907769 hasRelatedWork W2113458195 @default.
- W2391907769 hasRelatedWork W2123459237 @default.
- W2391907769 hasRelatedWork W2132086613 @default.
- W2391907769 hasRelatedWork W2152830923 @default.
- W2391907769 hasRelatedWork W2164248369 @default.
- W2391907769 hasRelatedWork W2164312530 @default.
- W2391907769 hasRelatedWork W2164717880 @default.
- W2391907769 hasRelatedWork W2170923027 @default.
- W2391907769 hasRelatedWork W2367889460 @default.
- W2391907769 hasRelatedWork W2532110055 @default.
- W2391907769 hasRelatedWork W2755139963 @default.
- W2391907769 hasRelatedWork W2162707902 @default.
- W2391907769 isParatext "false" @default.
- W2391907769 isRetracted "false" @default.
- W2391907769 magId "2391907769" @default.
- W2391907769 workType "article" @default.