Matches in SemOpenAlex for { <https://semopenalex.org/work/W2157436839> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W2157436839 abstract "The growing complexity of the state-of-art microprocessors dictates the use of cost-effective verification methods. Functional coverage was widely applied in the verification of Banias, Intel's new IA-32 microprocessor designed solely for the mobile computing market. In this paper, we describe the practical coverage approach as was carried out in the verification of Banias. According to this coverage-oriented verification approach, focus shifts gradually from basic logic cleanup using random testing, where verification follows a predefined test plan, to coverage-driven verification, where coverage verification resources are steered to hit coverage holes. This practical approach enables reaching higher quality for lower effort under a tightened schedule, and provides a clear metric to measure the progress of verification and the quality of the design under test. As the conclusions will show, the retrospective evaluation of this approach shed light on its significant impact beyond original intentions, as well as uncovering several potential areas for refinement that will make this approach even more effective on future projects." @default.
- W2157436839 created "2016-06-24" @default.
- W2157436839 creator A5018918177 @default.
- W2157436839 date "2003-06-02" @default.
- W2157436839 modified "2023-09-27" @default.
- W2157436839 title "Coverage-oriented verification of banias" @default.
- W2157436839 cites W2032755892 @default.
- W2157436839 cites W2059376007 @default.
- W2157436839 cites W2061247350 @default.
- W2157436839 cites W2092716347 @default.
- W2157436839 cites W2094307219 @default.
- W2157436839 cites W2095261142 @default.
- W2157436839 cites W2129938370 @default.
- W2157436839 doi "https://doi.org/10.1145/775832.775906" @default.
- W2157436839 hasPublicationYear "2003" @default.
- W2157436839 type Work @default.
- W2157436839 sameAs 2157436839 @default.
- W2157436839 citedByCount "23" @default.
- W2157436839 countsByYear W21574368392012 @default.
- W2157436839 countsByYear W21574368392013 @default.
- W2157436839 countsByYear W21574368392018 @default.
- W2157436839 crossrefType "proceedings-article" @default.
- W2157436839 hasAuthorship W2157436839A5018918177 @default.
- W2157436839 hasConcept C199360897 @default.
- W2157436839 hasConcept C41008148 @default.
- W2157436839 hasConceptScore W2157436839C199360897 @default.
- W2157436839 hasConceptScore W2157436839C41008148 @default.
- W2157436839 hasLocation W21574368391 @default.
- W2157436839 hasOpenAccess W2157436839 @default.
- W2157436839 hasPrimaryLocation W21574368391 @default.
- W2157436839 hasRelatedWork W1527862632 @default.
- W2157436839 hasRelatedWork W2109507516 @default.
- W2157436839 hasRelatedWork W2112962394 @default.
- W2157436839 hasRelatedWork W2118300983 @default.
- W2157436839 hasRelatedWork W2135396778 @default.
- W2157436839 hasRelatedWork W2382501300 @default.
- W2157436839 hasRelatedWork W2740990710 @default.
- W2157436839 hasRelatedWork W3137189469 @default.
- W2157436839 hasRelatedWork W4235530921 @default.
- W2157436839 hasRelatedWork W4243252198 @default.
- W2157436839 isParatext "false" @default.
- W2157436839 isRetracted "false" @default.
- W2157436839 magId "2157436839" @default.
- W2157436839 workType "article" @default.