Matches in SemOpenAlex for { <https://semopenalex.org/work/W1915133093> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1915133093 abstract "Formal verification is an important area in industry getting more and more attention. Growing complexity of digital circuits and the use in safety critical systems are the reasons for the need of tools for checking the correctness of designs. In this paper we present a new approach for model evaluation. With our approach we are able to increase the belief of a designer in the right functionality of a circuit without the long runtimes of classical model checking but with more reliability than testing a design via simulation with some input patterns. To achieve this goal we use our genetic manipulation technique: a combination of classical genetic algorithms with a goal oriented mutation operator." @default.
- W1915133093 created "2016-06-24" @default.
- W1915133093 creator A5000826126 @default.
- W1915133093 creator A5006213621 @default.
- W1915133093 creator A5023217483 @default.
- W1915133093 date "2003-01-20" @default.
- W1915133093 modified "2023-09-27" @default.
- W1915133093 title "Model evaluation using genetic manipulation techniques" @default.
- W1915133093 cites W2119071642 @default.
- W1915133093 cites W2153702325 @default.
- W1915133093 cites W2162558294 @default.
- W1915133093 cites W2173124859 @default.
- W1915133093 doi "https://doi.org/10.1109/glsv.1999.757415" @default.
- W1915133093 hasPublicationYear "2003" @default.
- W1915133093 type Work @default.
- W1915133093 sameAs 1915133093 @default.
- W1915133093 citedByCount "0" @default.
- W1915133093 crossrefType "proceedings-article" @default.
- W1915133093 hasAuthorship W1915133093A5000826126 @default.
- W1915133093 hasAuthorship W1915133093A5006213621 @default.
- W1915133093 hasAuthorship W1915133093A5023217483 @default.
- W1915133093 hasConcept C104317684 @default.
- W1915133093 hasConcept C110251889 @default.
- W1915133093 hasConcept C111498074 @default.
- W1915133093 hasConcept C113775141 @default.
- W1915133093 hasConcept C115903868 @default.
- W1915133093 hasConcept C119599485 @default.
- W1915133093 hasConcept C119857082 @default.
- W1915133093 hasConcept C120314980 @default.
- W1915133093 hasConcept C121332964 @default.
- W1915133093 hasConcept C127413603 @default.
- W1915133093 hasConcept C134146338 @default.
- W1915133093 hasConcept C158448853 @default.
- W1915133093 hasConcept C163258240 @default.
- W1915133093 hasConcept C17020691 @default.
- W1915133093 hasConcept C185592680 @default.
- W1915133093 hasConcept C199360897 @default.
- W1915133093 hasConcept C200601418 @default.
- W1915133093 hasConcept C41008148 @default.
- W1915133093 hasConcept C43214815 @default.
- W1915133093 hasConcept C55439883 @default.
- W1915133093 hasConcept C55493867 @default.
- W1915133093 hasConcept C62520636 @default.
- W1915133093 hasConcept C80444323 @default.
- W1915133093 hasConcept C81843906 @default.
- W1915133093 hasConcept C86339819 @default.
- W1915133093 hasConcept C8880873 @default.
- W1915133093 hasConceptScore W1915133093C104317684 @default.
- W1915133093 hasConceptScore W1915133093C110251889 @default.
- W1915133093 hasConceptScore W1915133093C111498074 @default.
- W1915133093 hasConceptScore W1915133093C113775141 @default.
- W1915133093 hasConceptScore W1915133093C115903868 @default.
- W1915133093 hasConceptScore W1915133093C119599485 @default.
- W1915133093 hasConceptScore W1915133093C119857082 @default.
- W1915133093 hasConceptScore W1915133093C120314980 @default.
- W1915133093 hasConceptScore W1915133093C121332964 @default.
- W1915133093 hasConceptScore W1915133093C127413603 @default.
- W1915133093 hasConceptScore W1915133093C134146338 @default.
- W1915133093 hasConceptScore W1915133093C158448853 @default.
- W1915133093 hasConceptScore W1915133093C163258240 @default.
- W1915133093 hasConceptScore W1915133093C17020691 @default.
- W1915133093 hasConceptScore W1915133093C185592680 @default.
- W1915133093 hasConceptScore W1915133093C199360897 @default.
- W1915133093 hasConceptScore W1915133093C200601418 @default.
- W1915133093 hasConceptScore W1915133093C41008148 @default.
- W1915133093 hasConceptScore W1915133093C43214815 @default.
- W1915133093 hasConceptScore W1915133093C55439883 @default.
- W1915133093 hasConceptScore W1915133093C55493867 @default.
- W1915133093 hasConceptScore W1915133093C62520636 @default.
- W1915133093 hasConceptScore W1915133093C80444323 @default.
- W1915133093 hasConceptScore W1915133093C81843906 @default.
- W1915133093 hasConceptScore W1915133093C86339819 @default.
- W1915133093 hasConceptScore W1915133093C8880873 @default.
- W1915133093 hasLocation W19151330931 @default.
- W1915133093 hasOpenAccess W1915133093 @default.
- W1915133093 hasPrimaryLocation W19151330931 @default.
- W1915133093 hasRelatedWork W2012991100 @default.
- W1915133093 hasRelatedWork W2095502024 @default.
- W1915133093 hasRelatedWork W2189600031 @default.
- W1915133093 hasRelatedWork W2198660300 @default.
- W1915133093 hasRelatedWork W2244939290 @default.
- W1915133093 hasRelatedWork W2256232508 @default.
- W1915133093 hasRelatedWork W2304048052 @default.
- W1915133093 hasRelatedWork W2337674744 @default.
- W1915133093 hasRelatedWork W2522132826 @default.
- W1915133093 hasRelatedWork W2534107961 @default.
- W1915133093 hasRelatedWork W2555320227 @default.
- W1915133093 hasRelatedWork W2793339286 @default.
- W1915133093 hasRelatedWork W2979264504 @default.
- W1915133093 hasRelatedWork W2984029155 @default.
- W1915133093 hasRelatedWork W3104371626 @default.
- W1915133093 hasRelatedWork W3122946311 @default.
- W1915133093 hasRelatedWork W3167992905 @default.
- W1915133093 hasRelatedWork W3199754933 @default.
- W1915133093 hasRelatedWork W95959045 @default.
- W1915133093 hasRelatedWork W2558797842 @default.
- W1915133093 isParatext "false" @default.
- W1915133093 isRetracted "false" @default.
- W1915133093 magId "1915133093" @default.
- W1915133093 workType "article" @default.