Matches in SemOpenAlex for { <https://semopenalex.org/work/W3188889328> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W3188889328 abstract "The amount of features that could be put on a chip grew as a result of many innovations and developments. As a result, much more functional complexity is created. This motivates the need for architectural advancements with increased productivity. The “Property-Driven Design (PDD)” approach for Register Transfer Level i.e.,RTL hardware is described in this paper, which begins with aconceptual interface model and introduces property checking early in the design process. The proposed PDD approach generates abstracts properties from system architecture and uses them during the design phase to save time and effort on property testing. The new approach has a major benefit in that it provides an explicitly sound device model in addition to the RTL definition. By simplifying some complex research and evaluation activities in today's modern design flows, this helps to emancipate system-level models from mere models to golden concept models. Path predicate abstraction (PPA) produces time and abstract system models that could be combined to form abstract modeling techniques." @default.
- W3188889328 created "2021-08-16" @default.
- W3188889328 creator A5012327092 @default.
- W3188889328 creator A5023855493 @default.
- W3188889328 creator A5039153469 @default.
- W3188889328 creator A5044493474 @default.
- W3188889328 creator A5064108420 @default.
- W3188889328 creator A5067902727 @default.
- W3188889328 date "2021-07-08" @default.
- W3188889328 modified "2023-09-25" @default.
- W3188889328 title "Property Driven Design based Verification for Register Transfer Level Hardware" @default.
- W3188889328 cites W1965953351 @default.
- W3188889328 cites W1967987130 @default.
- W3188889328 cites W2103625331 @default.
- W3188889328 cites W2132107743 @default.
- W3188889328 cites W2162226695 @default.
- W3188889328 cites W2170677925 @default.
- W3188889328 cites W2174215409 @default.
- W3188889328 cites W2767124770 @default.
- W3188889328 cites W2962014340 @default.
- W3188889328 cites W3017729692 @default.
- W3188889328 cites W3022630657 @default.
- W3188889328 cites W3023110379 @default.
- W3188889328 cites W3101944603 @default.
- W3188889328 doi "https://doi.org/10.1109/icces51350.2021.9489148" @default.
- W3188889328 hasPublicationYear "2021" @default.
- W3188889328 type Work @default.
- W3188889328 sameAs 3188889328 @default.
- W3188889328 citedByCount "0" @default.
- W3188889328 crossrefType "proceedings-article" @default.
- W3188889328 hasAuthorship W3188889328A5012327092 @default.
- W3188889328 hasAuthorship W3188889328A5023855493 @default.
- W3188889328 hasAuthorship W3188889328A5039153469 @default.
- W3188889328 hasAuthorship W3188889328A5044493474 @default.
- W3188889328 hasAuthorship W3188889328A5064108420 @default.
- W3188889328 hasAuthorship W3188889328A5067902727 @default.
- W3188889328 hasConcept C110251889 @default.
- W3188889328 hasConcept C111472728 @default.
- W3188889328 hasConcept C113775141 @default.
- W3188889328 hasConcept C11413529 @default.
- W3188889328 hasConcept C118524514 @default.
- W3188889328 hasConcept C123657996 @default.
- W3188889328 hasConcept C124304363 @default.
- W3188889328 hasConcept C131017901 @default.
- W3188889328 hasConcept C138885662 @default.
- W3188889328 hasConcept C142362112 @default.
- W3188889328 hasConcept C149635348 @default.
- W3188889328 hasConcept C153349607 @default.
- W3188889328 hasConcept C157922185 @default.
- W3188889328 hasConcept C189950617 @default.
- W3188889328 hasConcept C199360897 @default.
- W3188889328 hasConcept C34854456 @default.
- W3188889328 hasConcept C41008148 @default.
- W3188889328 hasConcept C42935608 @default.
- W3188889328 hasConcept C58013763 @default.
- W3188889328 hasConcept C64859876 @default.
- W3188889328 hasConcept C98045186 @default.
- W3188889328 hasConceptScore W3188889328C110251889 @default.
- W3188889328 hasConceptScore W3188889328C111472728 @default.
- W3188889328 hasConceptScore W3188889328C113775141 @default.
- W3188889328 hasConceptScore W3188889328C11413529 @default.
- W3188889328 hasConceptScore W3188889328C118524514 @default.
- W3188889328 hasConceptScore W3188889328C123657996 @default.
- W3188889328 hasConceptScore W3188889328C124304363 @default.
- W3188889328 hasConceptScore W3188889328C131017901 @default.
- W3188889328 hasConceptScore W3188889328C138885662 @default.
- W3188889328 hasConceptScore W3188889328C142362112 @default.
- W3188889328 hasConceptScore W3188889328C149635348 @default.
- W3188889328 hasConceptScore W3188889328C153349607 @default.
- W3188889328 hasConceptScore W3188889328C157922185 @default.
- W3188889328 hasConceptScore W3188889328C189950617 @default.
- W3188889328 hasConceptScore W3188889328C199360897 @default.
- W3188889328 hasConceptScore W3188889328C34854456 @default.
- W3188889328 hasConceptScore W3188889328C41008148 @default.
- W3188889328 hasConceptScore W3188889328C42935608 @default.
- W3188889328 hasConceptScore W3188889328C58013763 @default.
- W3188889328 hasConceptScore W3188889328C64859876 @default.
- W3188889328 hasConceptScore W3188889328C98045186 @default.
- W3188889328 hasLocation W31888893281 @default.
- W3188889328 hasOpenAccess W3188889328 @default.
- W3188889328 hasPrimaryLocation W31888893281 @default.
- W3188889328 hasRelatedWork W138617327 @default.
- W3188889328 hasRelatedWork W1843355381 @default.
- W3188889328 hasRelatedWork W1964556228 @default.
- W3188889328 hasRelatedWork W2117255572 @default.
- W3188889328 hasRelatedWork W2142185968 @default.
- W3188889328 hasRelatedWork W2156420848 @default.
- W3188889328 hasRelatedWork W2170799272 @default.
- W3188889328 hasRelatedWork W2202905857 @default.
- W3188889328 hasRelatedWork W2365114398 @default.
- W3188889328 hasRelatedWork W2543290882 @default.
- W3188889328 isParatext "false" @default.
- W3188889328 isRetracted "false" @default.
- W3188889328 magId "3188889328" @default.
- W3188889328 workType "article" @default.