Matches in SemOpenAlex for { <https://semopenalex.org/work/W1862832709> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1862832709 abstract "In system functional verification, collaborative method is an effective technique. Co-SAM verification platform employs three verification methods, static analysis, logic simulation and model checking, to implement verification process. With the collaborative platform, system properties are classified and verified. A whole model for a system inclines to ineffectiveness and states explosion during verification. Model refinement is indispensable. This paper presents special optimization techniques for verification model refinement, i.e. property grouping, signals reordering, and model hierarchizing. Experimental results demonstrate the validity of these optimization techniques in system functional verification." @default.
- W1862832709 created "2016-06-24" @default.
- W1862832709 creator A5034755987 @default.
- W1862832709 creator A5076599775 @default.
- W1862832709 creator A5077618125 @default.
- W1862832709 date "2005-01-01" @default.
- W1862832709 modified "2023-09-26" @default.
- W1862832709 title "Model Optimization Techniques in a Verification Platform for Classified Properties" @default.
- W1862832709 cites W2073306964 @default.
- W1862832709 cites W2112128273 @default.
- W1862832709 doi "https://doi.org/10.1007/11535409_79" @default.
- W1862832709 hasPublicationYear "2005" @default.
- W1862832709 type Work @default.
- W1862832709 sameAs 1862832709 @default.
- W1862832709 citedByCount "1" @default.
- W1862832709 crossrefType "book-chapter" @default.
- W1862832709 hasAuthorship W1862832709A5034755987 @default.
- W1862832709 hasAuthorship W1862832709A5076599775 @default.
- W1862832709 hasAuthorship W1862832709A5077618125 @default.
- W1862832709 hasConcept C105795698 @default.
- W1862832709 hasConcept C110251889 @default.
- W1862832709 hasConcept C111472728 @default.
- W1862832709 hasConcept C111498074 @default.
- W1862832709 hasConcept C11413529 @default.
- W1862832709 hasConcept C126433048 @default.
- W1862832709 hasConcept C138885662 @default.
- W1862832709 hasConcept C142284323 @default.
- W1862832709 hasConcept C149091818 @default.
- W1862832709 hasConcept C186846655 @default.
- W1862832709 hasConcept C187250869 @default.
- W1862832709 hasConcept C189950617 @default.
- W1862832709 hasConcept C199360897 @default.
- W1862832709 hasConcept C202973057 @default.
- W1862832709 hasConcept C2777904410 @default.
- W1862832709 hasConcept C33923547 @default.
- W1862832709 hasConcept C3406870 @default.
- W1862832709 hasConcept C41008148 @default.
- W1862832709 hasConcept C62460635 @default.
- W1862832709 hasConcept C98045186 @default.
- W1862832709 hasConceptScore W1862832709C105795698 @default.
- W1862832709 hasConceptScore W1862832709C110251889 @default.
- W1862832709 hasConceptScore W1862832709C111472728 @default.
- W1862832709 hasConceptScore W1862832709C111498074 @default.
- W1862832709 hasConceptScore W1862832709C11413529 @default.
- W1862832709 hasConceptScore W1862832709C126433048 @default.
- W1862832709 hasConceptScore W1862832709C138885662 @default.
- W1862832709 hasConceptScore W1862832709C142284323 @default.
- W1862832709 hasConceptScore W1862832709C149091818 @default.
- W1862832709 hasConceptScore W1862832709C186846655 @default.
- W1862832709 hasConceptScore W1862832709C187250869 @default.
- W1862832709 hasConceptScore W1862832709C189950617 @default.
- W1862832709 hasConceptScore W1862832709C199360897 @default.
- W1862832709 hasConceptScore W1862832709C202973057 @default.
- W1862832709 hasConceptScore W1862832709C2777904410 @default.
- W1862832709 hasConceptScore W1862832709C33923547 @default.
- W1862832709 hasConceptScore W1862832709C3406870 @default.
- W1862832709 hasConceptScore W1862832709C41008148 @default.
- W1862832709 hasConceptScore W1862832709C62460635 @default.
- W1862832709 hasConceptScore W1862832709C98045186 @default.
- W1862832709 hasLocation W18628327091 @default.
- W1862832709 hasOpenAccess W1862832709 @default.
- W1862832709 hasPrimaryLocation W18628327091 @default.
- W1862832709 hasRelatedWork W1532058475 @default.
- W1862832709 hasRelatedWork W1652311832 @default.
- W1862832709 hasRelatedWork W2118300983 @default.
- W1862832709 hasRelatedWork W2135396778 @default.
- W1862832709 hasRelatedWork W2166247150 @default.
- W1862832709 hasRelatedWork W2243428364 @default.
- W1862832709 hasRelatedWork W2462453872 @default.
- W1862832709 hasRelatedWork W3207171446 @default.
- W1862832709 hasRelatedWork W4243252198 @default.
- W1862832709 hasRelatedWork W4245713008 @default.
- W1862832709 isParatext "false" @default.
- W1862832709 isRetracted "false" @default.
- W1862832709 magId "1862832709" @default.
- W1862832709 workType "book-chapter" @default.