Matches in SemOpenAlex for { <https://semopenalex.org/work/W2118866838> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2118866838 endingPage "44" @default.
- W2118866838 startingPage "29" @default.
- W2118866838 abstract "Increasing design complexity driven by feature and performance requirements and the Time to Market (TTM) constraints force a faster design and validation closure. This in turn enforces novel ways of identifying and debugging behavioral inconsistencies early in the design cycle. Addition of incremental features and timing fixes may alter the legacy design behavior and would inadvertently result in undesirable bugs. The most common method of verifying the correctness of the changed design is to run a dynamic regression test suite before and after the intended changes and compare the results, a method which is not exhaustive. Modern Formal Verification (FV) techniques involving new methods of proving Sequential Hardware Equivalence enabled a new set of solutions for the given problem, with complete coverage guarantee. Formal Equivalence can be applied for proving functional integrity after design changes resulting from a wide variety of reasons, ranging from simple pipeline optimizations to complex logic redistributions. We present here our experience of successfully applying the RTL to RTL (RTL2RTL) Formal Verification across a wide spectrum of problems on a Graphics design. The RTL2RTL FV enabled checking the design sanity in a very short time, thus enabling faster and safer design churn. The techniques presented in this paper are applicable to any complex hardware design." @default.
- W2118866838 created "2016-06-24" @default.
- W2118866838 creator A5041231710 @default.
- W2118866838 creator A5054830609 @default.
- W2118866838 creator A5066450275 @default.
- W2118866838 date "2014-07-08" @default.
- W2118866838 modified "2023-10-16" @default.
- W2118866838 title "RTL2RTL Formal Equivalence: Boosting the Design Confidence" @default.
- W2118866838 cites W2036107243 @default.
- W2118866838 cites W2060407451 @default.
- W2118866838 cites W2106950603 @default.
- W2118866838 cites W2161215542 @default.
- W2118866838 cites W4230009915 @default.
- W2118866838 doi "https://doi.org/10.4204/eptcs.156.7" @default.
- W2118866838 hasPublicationYear "2014" @default.
- W2118866838 type Work @default.
- W2118866838 sameAs 2118866838 @default.
- W2118866838 citedByCount "1" @default.
- W2118866838 countsByYear W21188668382015 @default.
- W2118866838 crossrefType "journal-article" @default.
- W2118866838 hasAuthorship W2118866838A5041231710 @default.
- W2118866838 hasAuthorship W2118866838A5054830609 @default.
- W2118866838 hasAuthorship W2118866838A5066450275 @default.
- W2118866838 hasBestOaLocation W21188668381 @default.
- W2118866838 hasConcept C111498074 @default.
- W2118866838 hasConcept C168065819 @default.
- W2118866838 hasConcept C199360897 @default.
- W2118866838 hasConcept C41008148 @default.
- W2118866838 hasConcept C55439883 @default.
- W2118866838 hasConcept C62460635 @default.
- W2118866838 hasConcept C75606506 @default.
- W2118866838 hasConcept C96654402 @default.
- W2118866838 hasConceptScore W2118866838C111498074 @default.
- W2118866838 hasConceptScore W2118866838C168065819 @default.
- W2118866838 hasConceptScore W2118866838C199360897 @default.
- W2118866838 hasConceptScore W2118866838C41008148 @default.
- W2118866838 hasConceptScore W2118866838C55439883 @default.
- W2118866838 hasConceptScore W2118866838C62460635 @default.
- W2118866838 hasConceptScore W2118866838C75606506 @default.
- W2118866838 hasConceptScore W2118866838C96654402 @default.
- W2118866838 hasLocation W21188668381 @default.
- W2118866838 hasLocation W21188668382 @default.
- W2118866838 hasLocation W21188668383 @default.
- W2118866838 hasOpenAccess W2118866838 @default.
- W2118866838 hasPrimaryLocation W21188668381 @default.
- W2118866838 hasRelatedWork W1551485614 @default.
- W2118866838 hasRelatedWork W2006962382 @default.
- W2118866838 hasRelatedWork W2020239492 @default.
- W2118866838 hasRelatedWork W2108860137 @default.
- W2118866838 hasRelatedWork W2115240397 @default.
- W2118866838 hasRelatedWork W2135756607 @default.
- W2118866838 hasRelatedWork W2153955347 @default.
- W2118866838 hasRelatedWork W2162615969 @default.
- W2118866838 hasRelatedWork W2299263495 @default.
- W2118866838 hasRelatedWork W61592148 @default.
- W2118866838 hasVolume "156" @default.
- W2118866838 isParatext "false" @default.
- W2118866838 isRetracted "false" @default.
- W2118866838 magId "2118866838" @default.
- W2118866838 workType "article" @default.