Matches in SemOpenAlex for { <https://semopenalex.org/work/W2097087931> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2097087931 abstract "Based on the advantages of simulation and model checking with CDFG structure, classified properties are proposed and defined for simulation, CDFG matching, and model checking respectively. With ITC99 benchmarks, the designed properties are verified, and the experimental results show that different properties should be verified distinguishingly." @default.
- W2097087931 created "2016-06-24" @default.
- W2097087931 creator A5034755987 @default.
- W2097087931 creator A5076599775 @default.
- W2097087931 creator A5077618125 @default.
- W2097087931 creator A5078576738 @default.
- W2097087931 date "2003-01-01" @default.
- W2097087931 modified "2023-09-24" @default.
- W2097087931 title "Property classification for functional verification based on CDFG" @default.
- W2097087931 cites W2340735175 @default.
- W2097087931 cites W2913459036 @default.
- W2097087931 doi "https://doi.org/10.1109/ats.2003.1250871" @default.
- W2097087931 hasPublicationYear "2003" @default.
- W2097087931 type Work @default.
- W2097087931 sameAs 2097087931 @default.
- W2097087931 citedByCount "0" @default.
- W2097087931 crossrefType "proceedings-article" @default.
- W2097087931 hasAuthorship W2097087931A5034755987 @default.
- W2097087931 hasAuthorship W2097087931A5076599775 @default.
- W2097087931 hasAuthorship W2097087931A5077618125 @default.
- W2097087931 hasAuthorship W2097087931A5078576738 @default.
- W2097087931 hasConcept C105795698 @default.
- W2097087931 hasConcept C110251889 @default.
- W2097087931 hasConcept C111472728 @default.
- W2097087931 hasConcept C11413529 @default.
- W2097087931 hasConcept C138885662 @default.
- W2097087931 hasConcept C154945302 @default.
- W2097087931 hasConcept C165064840 @default.
- W2097087931 hasConcept C189950617 @default.
- W2097087931 hasConcept C33923547 @default.
- W2097087931 hasConcept C41008148 @default.
- W2097087931 hasConceptScore W2097087931C105795698 @default.
- W2097087931 hasConceptScore W2097087931C110251889 @default.
- W2097087931 hasConceptScore W2097087931C111472728 @default.
- W2097087931 hasConceptScore W2097087931C11413529 @default.
- W2097087931 hasConceptScore W2097087931C138885662 @default.
- W2097087931 hasConceptScore W2097087931C154945302 @default.
- W2097087931 hasConceptScore W2097087931C165064840 @default.
- W2097087931 hasConceptScore W2097087931C189950617 @default.
- W2097087931 hasConceptScore W2097087931C33923547 @default.
- W2097087931 hasConceptScore W2097087931C41008148 @default.
- W2097087931 hasLocation W20970879311 @default.
- W2097087931 hasOpenAccess W2097087931 @default.
- W2097087931 hasPrimaryLocation W20970879311 @default.
- W2097087931 hasRelatedWork W1485135523 @default.
- W2097087931 hasRelatedWork W1543150587 @default.
- W2097087931 hasRelatedWork W1557832504 @default.
- W2097087931 hasRelatedWork W2097087931 @default.
- W2097087931 hasRelatedWork W2117798332 @default.
- W2097087931 hasRelatedWork W2134424614 @default.
- W2097087931 hasRelatedWork W2170306229 @default.
- W2097087931 hasRelatedWork W2364866360 @default.
- W2097087931 hasRelatedWork W2370841479 @default.
- W2097087931 hasRelatedWork W2551596431 @default.
- W2097087931 isParatext "false" @default.
- W2097087931 isRetracted "false" @default.
- W2097087931 magId "2097087931" @default.
- W2097087931 workType "article" @default.