Matches in SemOpenAlex for { <https://semopenalex.org/work/W2177707910> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2177707910 abstract "• The purpose of verification is to reduce the risk of silicon not meeting performance specifications or worse yet, not functioning. Since the silicon does not yet exist, verification depends on simulations. Simulations in turn depend on models. In verification terms, the classical modeling tradeoff between speed and accuracy translates into a tradeoff between test coverage and model credibility (or validity). Transistor- eve models produce the most credible simulations but slow run times and convergence problems severely limit test coverage. At the other extreme, a high level flat model quickly simulates all required tests but is least credible because the high level of abstraction greatly increases the chances for un-modeled circuit bugs and other relevant omitted behaviors. A “good” modeling boundary balances coverage and credibility. The balance is subjective because it depends on schedule, available resources, and acceptable risk. Given how strongly verification depends on the overall modeling strategy, it helps to have as many modeling options as possible. This tutorial describes a few modeling methods to balance coverage and credibility." @default.
- W2177707910 created "2016-06-24" @default.
- W2177707910 creator A5044232016 @default.
- W2177707910 date "2015-09-01" @default.
- W2177707910 modified "2023-09-28" @default.
- W2177707910 title "A few behavioral modeling options for balancing verification coverage and credibility" @default.
- W2177707910 doi "https://doi.org/10.1109/cicc.2015.7338436" @default.
- W2177707910 hasPublicationYear "2015" @default.
- W2177707910 type Work @default.
- W2177707910 sameAs 2177707910 @default.
- W2177707910 citedByCount "0" @default.
- W2177707910 crossrefType "proceedings-article" @default.
- W2177707910 hasAuthorship W2177707910A5044232016 @default.
- W2177707910 hasConcept C111919701 @default.
- W2177707910 hasConcept C127413603 @default.
- W2177707910 hasConcept C162324750 @default.
- W2177707910 hasConcept C177264268 @default.
- W2177707910 hasConcept C17744445 @default.
- W2177707910 hasConcept C199360897 @default.
- W2177707910 hasConcept C199539241 @default.
- W2177707910 hasConcept C200601418 @default.
- W2177707910 hasConcept C2777303404 @default.
- W2177707910 hasConcept C2780224610 @default.
- W2177707910 hasConcept C41008148 @default.
- W2177707910 hasConcept C50522688 @default.
- W2177707910 hasConcept C68387754 @default.
- W2177707910 hasConceptScore W2177707910C111919701 @default.
- W2177707910 hasConceptScore W2177707910C127413603 @default.
- W2177707910 hasConceptScore W2177707910C162324750 @default.
- W2177707910 hasConceptScore W2177707910C177264268 @default.
- W2177707910 hasConceptScore W2177707910C17744445 @default.
- W2177707910 hasConceptScore W2177707910C199360897 @default.
- W2177707910 hasConceptScore W2177707910C199539241 @default.
- W2177707910 hasConceptScore W2177707910C200601418 @default.
- W2177707910 hasConceptScore W2177707910C2777303404 @default.
- W2177707910 hasConceptScore W2177707910C2780224610 @default.
- W2177707910 hasConceptScore W2177707910C41008148 @default.
- W2177707910 hasConceptScore W2177707910C50522688 @default.
- W2177707910 hasConceptScore W2177707910C68387754 @default.
- W2177707910 hasLocation W21777079101 @default.
- W2177707910 hasOpenAccess W2177707910 @default.
- W2177707910 hasPrimaryLocation W21777079101 @default.
- W2177707910 hasRelatedWork W1978326660 @default.
- W2177707910 hasRelatedWork W1999075512 @default.
- W2177707910 hasRelatedWork W2028318256 @default.
- W2177707910 hasRelatedWork W2101715748 @default.
- W2177707910 hasRelatedWork W2116326546 @default.
- W2177707910 hasRelatedWork W2120527248 @default.
- W2177707910 hasRelatedWork W2140945099 @default.
- W2177707910 hasRelatedWork W2151354270 @default.
- W2177707910 hasRelatedWork W2160876392 @default.
- W2177707910 hasRelatedWork W2171474236 @default.
- W2177707910 hasRelatedWork W2171725923 @default.
- W2177707910 hasRelatedWork W2205071279 @default.
- W2177707910 hasRelatedWork W2233473899 @default.
- W2177707910 hasRelatedWork W2346173388 @default.
- W2177707910 hasRelatedWork W2626405519 @default.
- W2177707910 hasRelatedWork W2762987852 @default.
- W2177707910 hasRelatedWork W2794956809 @default.
- W2177707910 hasRelatedWork W2901204029 @default.
- W2177707910 hasRelatedWork W2945598212 @default.
- W2177707910 hasRelatedWork W3031919818 @default.
- W2177707910 isParatext "false" @default.
- W2177707910 isRetracted "false" @default.
- W2177707910 magId "2177707910" @default.
- W2177707910 workType "article" @default.