Matches in SemOpenAlex for { <https://semopenalex.org/work/W2749272025> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2749272025 abstract "The dissertation describes a practically proven, particularly efficient approach for the verification of digital circuit designs. The approach outperforms simulation based verification wrt. final circuit quality as well as wrt. required verification effort. In the dissertation, the paradigm of transaction based verification is ported from simulation to formal verification. One consequence is a particular format of formal properties, called operation properties. Circuit descriptions are verified by proof of operation properties with Interval Property Checking (IPC), a particularly strong SAT based formal verification algorithm. Furtheron, a completeness checker is presented that identifies all verification gaps in sets of operation properties. This completeness checker can handle the large operation properties that arise, if this approach is applied to realistic circuits. The methodology of operation properties, Interval Property Checking, and the completeness checker form a symbiosis that is of particular benefit to the verification of digital circuit designs. On top of this symbiosis an approach to completely verify the interaction of completely verified modules has been developed by adaptation of the modelling theories of digital systems. The approach presented in the dissertation has proven in multiple commercial application projects that it indeed completely verifies modules. After reaching a termination criterion that is well defined by completeness checking, no further bugs were found in the verified modules. The approach is marketed by OneSpin Solutions GmbH, Munich, under the names Operation Based Verification and Gap Free Verification." @default.
- W2749272025 created "2017-08-31" @default.
- W2749272025 creator A5041028220 @default.
- W2749272025 date "2009-01-01" @default.
- W2749272025 modified "2023-09-27" @default.
- W2749272025 title "Complete Functional Verification" @default.
- W2749272025 hasPublicationYear "2009" @default.
- W2749272025 type Work @default.
- W2749272025 sameAs 2749272025 @default.
- W2749272025 citedByCount "0" @default.
- W2749272025 crossrefType "journal-article" @default.
- W2749272025 hasAuthorship W2749272025A5041028220 @default.
- W2749272025 hasConcept C110251889 @default.
- W2749272025 hasConcept C111498074 @default.
- W2749272025 hasConcept C113775141 @default.
- W2749272025 hasConcept C134306372 @default.
- W2749272025 hasConcept C149091818 @default.
- W2749272025 hasConcept C17231256 @default.
- W2749272025 hasConcept C186846655 @default.
- W2749272025 hasConcept C187250869 @default.
- W2749272025 hasConcept C199360897 @default.
- W2749272025 hasConcept C202973057 @default.
- W2749272025 hasConcept C2777904410 @default.
- W2749272025 hasConcept C33054407 @default.
- W2749272025 hasConcept C33923547 @default.
- W2749272025 hasConcept C3406870 @default.
- W2749272025 hasConcept C41008148 @default.
- W2749272025 hasConcept C62460635 @default.
- W2749272025 hasConcept C80444323 @default.
- W2749272025 hasConcept C96654402 @default.
- W2749272025 hasConceptScore W2749272025C110251889 @default.
- W2749272025 hasConceptScore W2749272025C111498074 @default.
- W2749272025 hasConceptScore W2749272025C113775141 @default.
- W2749272025 hasConceptScore W2749272025C134306372 @default.
- W2749272025 hasConceptScore W2749272025C149091818 @default.
- W2749272025 hasConceptScore W2749272025C17231256 @default.
- W2749272025 hasConceptScore W2749272025C186846655 @default.
- W2749272025 hasConceptScore W2749272025C187250869 @default.
- W2749272025 hasConceptScore W2749272025C199360897 @default.
- W2749272025 hasConceptScore W2749272025C202973057 @default.
- W2749272025 hasConceptScore W2749272025C2777904410 @default.
- W2749272025 hasConceptScore W2749272025C33054407 @default.
- W2749272025 hasConceptScore W2749272025C33923547 @default.
- W2749272025 hasConceptScore W2749272025C3406870 @default.
- W2749272025 hasConceptScore W2749272025C41008148 @default.
- W2749272025 hasConceptScore W2749272025C62460635 @default.
- W2749272025 hasConceptScore W2749272025C80444323 @default.
- W2749272025 hasConceptScore W2749272025C96654402 @default.
- W2749272025 hasLocation W27492720251 @default.
- W2749272025 hasOpenAccess W2749272025 @default.
- W2749272025 hasPrimaryLocation W27492720251 @default.
- W2749272025 hasRelatedWork W1490302755 @default.
- W2749272025 hasRelatedWork W1623421902 @default.
- W2749272025 hasRelatedWork W2003823575 @default.
- W2749272025 hasRelatedWork W2036945707 @default.
- W2749272025 hasRelatedWork W2098024944 @default.
- W2749272025 hasRelatedWork W2118098056 @default.
- W2749272025 hasRelatedWork W2118572231 @default.
- W2749272025 hasRelatedWork W2124025245 @default.
- W2749272025 hasRelatedWork W2149716943 @default.
- W2749272025 hasRelatedWork W2151755292 @default.
- W2749272025 hasRelatedWork W2162615969 @default.
- W2749272025 hasRelatedWork W2167022220 @default.
- W2749272025 hasRelatedWork W2367198932 @default.
- W2749272025 hasRelatedWork W2376756781 @default.
- W2749272025 hasRelatedWork W2402056577 @default.
- W2749272025 hasRelatedWork W2542209384 @default.
- W2749272025 hasRelatedWork W2999227917 @default.
- W2749272025 hasRelatedWork W79857529 @default.
- W2749272025 hasRelatedWork W2231637906 @default.
- W2749272025 hasRelatedWork W90280056 @default.
- W2749272025 isParatext "false" @default.
- W2749272025 isRetracted "false" @default.
- W2749272025 magId "2749272025" @default.
- W2749272025 workType "article" @default.