Matches in SemOpenAlex for { <https://semopenalex.org/work/W2042966439> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2042966439 endingPage "92" @default.
- W2042966439 startingPage "80" @default.
- W2042966439 abstract "To perform functional formal verification, model checking for assertions has attracted attentions. In SystemVerilog, assertions are allowed to include “local variables”, which are used to store and refer to data values locally within assertions. For the purpose of model checking, a finite automaton called “checker” is generated. In the previous approach for checker generation by Long and Seawright, the checker introduces new state variables corresponding to a local variable. The number of the introduced state variables for each local variable, is linear to the size of a given assertion. In this paper, we show an algorithm for checker generation in order to reduce the number of the introduced state variables. In particular, our algorithm requires only one such variable for each local variable. We also show experimental results on bounded model checking for our algorithm compared with the previous work by Long and Seawright." @default.
- W2042966439 created "2016-06-24" @default.
- W2042966439 creator A5003623215 @default.
- W2042966439 creator A5004804895 @default.
- W2042966439 creator A5086884093 @default.
- W2042966439 date "2009-01-01" @default.
- W2042966439 modified "2023-10-05" @default.
- W2042966439 title "Checker Generation of Assertions with Local Variables for Model Checking" @default.
- W2042966439 cites W1574030932 @default.
- W2042966439 cites W1592502301 @default.
- W2042966439 cites W2024148935 @default.
- W2042966439 cites W2128354724 @default.
- W2042966439 cites W2150220499 @default.
- W2042966439 cites W2501575128 @default.
- W2042966439 doi "https://doi.org/10.2197/ipsjtsldm.2.80" @default.
- W2042966439 hasPublicationYear "2009" @default.
- W2042966439 type Work @default.
- W2042966439 sameAs 2042966439 @default.
- W2042966439 citedByCount "2" @default.
- W2042966439 countsByYear W20429664392012 @default.
- W2042966439 countsByYear W20429664392017 @default.
- W2042966439 crossrefType "journal-article" @default.
- W2042966439 hasAuthorship W2042966439A5003623215 @default.
- W2042966439 hasAuthorship W2042966439A5004804895 @default.
- W2042966439 hasAuthorship W2042966439A5086884093 @default.
- W2042966439 hasBestOaLocation W20429664391 @default.
- W2042966439 hasConcept C110251889 @default.
- W2042966439 hasConcept C111498074 @default.
- W2042966439 hasConcept C112505250 @default.
- W2042966439 hasConcept C11413529 @default.
- W2042966439 hasConcept C121332964 @default.
- W2042966439 hasConcept C129537906 @default.
- W2042966439 hasConcept C134306372 @default.
- W2042966439 hasConcept C182365436 @default.
- W2042966439 hasConcept C199360897 @default.
- W2042966439 hasConcept C33923547 @default.
- W2042966439 hasConcept C34388435 @default.
- W2042966439 hasConcept C40422974 @default.
- W2042966439 hasConcept C41008148 @default.
- W2042966439 hasConcept C48103436 @default.
- W2042966439 hasConcept C80444323 @default.
- W2042966439 hasConcept C97355855 @default.
- W2042966439 hasConceptScore W2042966439C110251889 @default.
- W2042966439 hasConceptScore W2042966439C111498074 @default.
- W2042966439 hasConceptScore W2042966439C112505250 @default.
- W2042966439 hasConceptScore W2042966439C11413529 @default.
- W2042966439 hasConceptScore W2042966439C121332964 @default.
- W2042966439 hasConceptScore W2042966439C129537906 @default.
- W2042966439 hasConceptScore W2042966439C134306372 @default.
- W2042966439 hasConceptScore W2042966439C182365436 @default.
- W2042966439 hasConceptScore W2042966439C199360897 @default.
- W2042966439 hasConceptScore W2042966439C33923547 @default.
- W2042966439 hasConceptScore W2042966439C34388435 @default.
- W2042966439 hasConceptScore W2042966439C40422974 @default.
- W2042966439 hasConceptScore W2042966439C41008148 @default.
- W2042966439 hasConceptScore W2042966439C48103436 @default.
- W2042966439 hasConceptScore W2042966439C80444323 @default.
- W2042966439 hasConceptScore W2042966439C97355855 @default.
- W2042966439 hasIssue "0" @default.
- W2042966439 hasLocation W20429664391 @default.
- W2042966439 hasOpenAccess W2042966439 @default.
- W2042966439 hasPrimaryLocation W20429664391 @default.
- W2042966439 hasRelatedWork W1516983868 @default.
- W2042966439 hasRelatedWork W1517759046 @default.
- W2042966439 hasRelatedWork W1988050447 @default.
- W2042966439 hasRelatedWork W2042966439 @default.
- W2042966439 hasRelatedWork W2081607157 @default.
- W2042966439 hasRelatedWork W2118465540 @default.
- W2042966439 hasRelatedWork W2151898527 @default.
- W2042966439 hasRelatedWork W38902447 @default.
- W2042966439 hasRelatedWork W47563837 @default.
- W2042966439 hasRelatedWork W2585986253 @default.
- W2042966439 hasVolume "2" @default.
- W2042966439 isParatext "false" @default.
- W2042966439 isRetracted "false" @default.
- W2042966439 magId "2042966439" @default.
- W2042966439 workType "article" @default.