FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2981749898> ?p ?o ?g. }

• W2981749898 abstract "This paper presents a practical methodology for applying formal verification on industrial designs. The methodology is developed considering the quality, efficiency and productivity required in an industrial verification setup. The flow proposes a systematic approach addressing various aspects of the formal verification. First, the design implementation (RTL) is analyzed for its formal friendliness based on several predefined criteria. Next, a property automation flow is adapted for an efficient property development. Later, a series of verification tasks, grouped into formal test plan and formal execution plan are carried out to reach the formal sign-off stage. To demonstrate the applicability and effectiveness of the methodology, the proposed flow has been successfully applied on several industrial designs. In this paper, we consider the formal verification of Error Correction Codes, generally implemented in program and data flash memory interfaces to benchmark the proposed flow. Automatic property generation flow is used to generate an optimal property set with varying abstraction levels. The property proof runtimes are drastically reduced and better coverage compared to the previous hand-written properties has been achieved. New RTL bugs and specification errors have been found that were previously missed during the simulation." @default.
• W2981749898 created "2019-11-01" @default.
• W2981749898 creator A5015292011 @default.
• W2981749898 creator A5016335292 @default.
• W2981749898 creator A5026332582 @default.
• W2981749898 creator A5039610957 @default.
• W2981749898 creator A5046956677 @default.
• W2981749898 date "2019-08-01" @default.
• W2981749898 modified "2023-09-25" @default.
• W2981749898 title "Formal Verification Methodology in an Industrial Setup" @default.
• W2981749898 cites W1549166962 @default.
• W2981749898 cites W1573167415 @default.
• W2981749898 cites W1737941572 @default.
• W2981749898 cites W174127401 @default.
• W2981749898 cites W1836910194 @default.
• W2981749898 cites W1979345835 @default.
• W2981749898 cites W1991461985 @default.
• W2981749898 cites W2024148935 @default.
• W2981749898 cites W2047390668 @default.
• W2981749898 cites W2099823733 @default.
• W2981749898 cites W2106035292 @default.
• W2981749898 cites W2118791871 @default.
• W2981749898 cites W2125597111 @default.
• W2981749898 cites W2151755292 @default.
• W2981749898 cites W2152864604 @default.
• W2981749898 cites W2154550022 @default.
• W2981749898 cites W2158808794 @default.
• W2981749898 cites W2163064422 @default.
• W2981749898 cites W2463645034 @default.
• W2981749898 cites W2597949817 @default.
• W2981749898 cites W2736336393 @default.
• W2981749898 cites W2768579407 @default.
• W2981749898 cites W2908642059 @default.
• W2981749898 doi "https://doi.org/10.1109/dsd.2019.00094" @default.
• W2981749898 hasPublicationYear "2019" @default.
• W2981749898 type Work @default.
• W2981749898 sameAs 2981749898 @default.
• W2981749898 citedByCount "5" @default.
• W2981749898 countsByYear W29817498982020 @default.
• W2981749898 countsByYear W29817498982021 @default.
• W2981749898 countsByYear W29817498982022 @default.
• W2981749898 crossrefType "proceedings-article" @default.
• W2981749898 hasAuthorship W2981749898A5015292011 @default.
• W2981749898 hasAuthorship W2981749898A5016335292 @default.
• W2981749898 hasAuthorship W2981749898A5026332582 @default.
• W2981749898 hasAuthorship W2981749898A5039610957 @default.
• W2981749898 hasAuthorship W2981749898A5046956677 @default.
• W2981749898 hasConcept C111472728 @default.
• W2981749898 hasConcept C111498074 @default.
• W2981749898 hasConcept C115901376 @default.
• W2981749898 hasConcept C116253237 @default.
• W2981749898 hasConcept C127413603 @default.
• W2981749898 hasConcept C13280743 @default.
• W2981749898 hasConcept C138885662 @default.
• W2981749898 hasConcept C142284323 @default.
• W2981749898 hasConcept C14331664 @default.
• W2981749898 hasConcept C149635348 @default.
• W2981749898 hasConcept C185798385 @default.
• W2981749898 hasConcept C186846655 @default.
• W2981749898 hasConcept C187250869 @default.
• W2981749898 hasConcept C189950617 @default.
• W2981749898 hasConcept C199360897 @default.
• W2981749898 hasConcept C202973057 @default.
• W2981749898 hasConcept C205649164 @default.
• W2981749898 hasConcept C2777904410 @default.
• W2981749898 hasConcept C3406870 @default.
• W2981749898 hasConcept C37135326 @default.
• W2981749898 hasConcept C41008148 @default.
• W2981749898 hasConcept C529173508 @default.
• W2981749898 hasConcept C62460635 @default.
• W2981749898 hasConcept C75606506 @default.
• W2981749898 hasConcept C78519656 @default.
• W2981749898 hasConceptScore W2981749898C111472728 @default.
• W2981749898 hasConceptScore W2981749898C111498074 @default.
• W2981749898 hasConceptScore W2981749898C115901376 @default.
• W2981749898 hasConceptScore W2981749898C116253237 @default.
• W2981749898 hasConceptScore W2981749898C127413603 @default.
• W2981749898 hasConceptScore W2981749898C13280743 @default.
• W2981749898 hasConceptScore W2981749898C138885662 @default.
• W2981749898 hasConceptScore W2981749898C142284323 @default.
• W2981749898 hasConceptScore W2981749898C14331664 @default.
• W2981749898 hasConceptScore W2981749898C149635348 @default.
• W2981749898 hasConceptScore W2981749898C185798385 @default.
• W2981749898 hasConceptScore W2981749898C186846655 @default.
• W2981749898 hasConceptScore W2981749898C187250869 @default.
• W2981749898 hasConceptScore W2981749898C189950617 @default.
• W2981749898 hasConceptScore W2981749898C199360897 @default.
• W2981749898 hasConceptScore W2981749898C202973057 @default.
• W2981749898 hasConceptScore W2981749898C205649164 @default.
• W2981749898 hasConceptScore W2981749898C2777904410 @default.
• W2981749898 hasConceptScore W2981749898C3406870 @default.
• W2981749898 hasConceptScore W2981749898C37135326 @default.
• W2981749898 hasConceptScore W2981749898C41008148 @default.
• W2981749898 hasConceptScore W2981749898C529173508 @default.
• W2981749898 hasConceptScore W2981749898C62460635 @default.
• W2981749898 hasConceptScore W2981749898C75606506 @default.
• W2981749898 hasConceptScore W2981749898C78519656 @default.
• W2981749898 hasLocation W29817498981 @default.
• W2981749898 hasOpenAccess W2981749898 @default.
• W2981749898 hasPrimaryLocation W29817498981 @default.

• next