Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098650314> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2098650314 abstract "A collaborative scheme for verifying classified properties of a design is proposed. These properties are classified for three verification techniques, i.e. module logic simulation, BDD (binary decision diagram) based model checking and CDFG (control data flow graph) matching. The cooperative process is performed on a refined model from CDFG structure and three interactive methods are employed to complete the verification. The optimization techniques, BDD variables reordering and property grouping are discussed and examined. This collaborative scheme is implemented on the benchmarks ITC99, which demonstrates its validity and practicality." @default.
- W2098650314 created "2016-06-24" @default.
- W2098650314 creator A5034755987 @default.
- W2098650314 creator A5076599775 @default.
- W2098650314 creator A5077618125 @default.
- W2098650314 date "2004-12-23" @default.
- W2098650314 modified "2023-09-24" @default.
- W2098650314 title "A novel collaborative scheme of simulation and model checking for property verification" @default.
- W2098650314 cites W2061438988 @default.
- W2098650314 cites W2073306964 @default.
- W2098650314 cites W2112128273 @default.
- W2098650314 cites W2115383281 @default.
- W2098650314 cites W2125119073 @default.
- W2098650314 cites W2149479807 @default.
- W2098650314 cites W2156208763 @default.
- W2098650314 cites W2158966008 @default.
- W2098650314 cites W2160991071 @default.
- W2098650314 cites W2913459036 @default.
- W2098650314 doi "https://doi.org/10.1109/cacwd.2004.1349159" @default.
- W2098650314 hasPublicationYear "2004" @default.
- W2098650314 type Work @default.
- W2098650314 sameAs 2098650314 @default.
- W2098650314 citedByCount "0" @default.
- W2098650314 crossrefType "proceedings-article" @default.
- W2098650314 hasAuthorship W2098650314A5034755987 @default.
- W2098650314 hasAuthorship W2098650314A5076599775 @default.
- W2098650314 hasAuthorship W2098650314A5077618125 @default.
- W2098650314 hasConcept C105795698 @default.
- W2098650314 hasConcept C110251889 @default.
- W2098650314 hasConcept C111472728 @default.
- W2098650314 hasConcept C111498074 @default.
- W2098650314 hasConcept C11413529 @default.
- W2098650314 hasConcept C132525143 @default.
- W2098650314 hasConcept C134306372 @default.
- W2098650314 hasConcept C138885662 @default.
- W2098650314 hasConcept C165064840 @default.
- W2098650314 hasConcept C189950617 @default.
- W2098650314 hasConcept C199360897 @default.
- W2098650314 hasConcept C3309909 @default.
- W2098650314 hasConcept C33923547 @default.
- W2098650314 hasConcept C41008148 @default.
- W2098650314 hasConcept C77618280 @default.
- W2098650314 hasConcept C80444323 @default.
- W2098650314 hasConcept C98045186 @default.
- W2098650314 hasConceptScore W2098650314C105795698 @default.
- W2098650314 hasConceptScore W2098650314C110251889 @default.
- W2098650314 hasConceptScore W2098650314C111472728 @default.
- W2098650314 hasConceptScore W2098650314C111498074 @default.
- W2098650314 hasConceptScore W2098650314C11413529 @default.
- W2098650314 hasConceptScore W2098650314C132525143 @default.
- W2098650314 hasConceptScore W2098650314C134306372 @default.
- W2098650314 hasConceptScore W2098650314C138885662 @default.
- W2098650314 hasConceptScore W2098650314C165064840 @default.
- W2098650314 hasConceptScore W2098650314C189950617 @default.
- W2098650314 hasConceptScore W2098650314C199360897 @default.
- W2098650314 hasConceptScore W2098650314C3309909 @default.
- W2098650314 hasConceptScore W2098650314C33923547 @default.
- W2098650314 hasConceptScore W2098650314C41008148 @default.
- W2098650314 hasConceptScore W2098650314C77618280 @default.
- W2098650314 hasConceptScore W2098650314C80444323 @default.
- W2098650314 hasConceptScore W2098650314C98045186 @default.
- W2098650314 hasLocation W20986503141 @default.
- W2098650314 hasOpenAccess W2098650314 @default.
- W2098650314 hasPrimaryLocation W20986503141 @default.
- W2098650314 hasRelatedWork W127483730 @default.
- W2098650314 hasRelatedWork W139055536 @default.
- W2098650314 hasRelatedWork W1480105416 @default.
- W2098650314 hasRelatedWork W1496424806 @default.
- W2098650314 hasRelatedWork W1517959189 @default.
- W2098650314 hasRelatedWork W1558598345 @default.
- W2098650314 hasRelatedWork W1575138043 @default.
- W2098650314 hasRelatedWork W1582717179 @default.
- W2098650314 hasRelatedWork W1582868218 @default.
- W2098650314 hasRelatedWork W1593793497 @default.
- W2098650314 hasRelatedWork W1595213177 @default.
- W2098650314 hasRelatedWork W2017397762 @default.
- W2098650314 hasRelatedWork W2113677233 @default.
- W2098650314 hasRelatedWork W2115383281 @default.
- W2098650314 hasRelatedWork W2144883917 @default.
- W2098650314 hasRelatedWork W2372906007 @default.
- W2098650314 hasRelatedWork W255025080 @default.
- W2098650314 hasRelatedWork W2739785336 @default.
- W2098650314 hasRelatedWork W3150270915 @default.
- W2098650314 hasRelatedWork W622304541 @default.
- W2098650314 isParatext "false" @default.
- W2098650314 isRetracted "false" @default.
- W2098650314 magId "2098650314" @default.
- W2098650314 workType "article" @default.