Matches in SemOpenAlex for { <https://semopenalex.org/work/W2146225612> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2146225612 abstract "Multiway Decision Graphs (MDGs) are efficient diagrams suitable for the modeling and automatic verification of register transfer level designs. The MDG tools provide a first-order branching time model checking, sequential equivalence checking, and combinational verification. In this paper, we present a new model checking algorithm based on language emptiness checking using MDGs. The proposed procedure makes use of the Wring tool from UC Berkeley to generate the property automaton. Language emptiness is checked on the product of this latter and the design automaton represented in terms of MDGs. Compared with the existing MDG model checking, our algorithm shows superior performance. We also conducted experimental comparison between our tool, VIS from UC Berkeley and Cadence FormalCheck." @default.
- W2146225612 created "2016-06-24" @default.
- W2146225612 creator A5002661071 @default.
- W2146225612 creator A5007159598 @default.
- W2146225612 date "2003-04-28" @default.
- W2146225612 modified "2023-10-01" @default.
- W2146225612 title "Language emptiness checking using MDGs" @default.
- W2146225612 cites W1512310098 @default.
- W2146225612 cites W1577504746 @default.
- W2146225612 cites W1898783984 @default.
- W2146225612 cites W2096455207 @default.
- W2146225612 cites W2535114184 @default.
- W2146225612 doi "https://doi.org/10.1145/764808.764832" @default.
- W2146225612 hasPublicationYear "2003" @default.
- W2146225612 type Work @default.
- W2146225612 sameAs 2146225612 @default.
- W2146225612 citedByCount "0" @default.
- W2146225612 crossrefType "proceedings-article" @default.
- W2146225612 hasAuthorship W2146225612A5002661071 @default.
- W2146225612 hasAuthorship W2146225612A5007159598 @default.
- W2146225612 hasConcept C110251889 @default.
- W2146225612 hasConcept C111498074 @default.
- W2146225612 hasConcept C112505250 @default.
- W2146225612 hasConcept C11413529 @default.
- W2146225612 hasConcept C118615104 @default.
- W2146225612 hasConcept C138885662 @default.
- W2146225612 hasConcept C199360897 @default.
- W2146225612 hasConcept C27206212 @default.
- W2146225612 hasConcept C2779150620 @default.
- W2146225612 hasConcept C2780069185 @default.
- W2146225612 hasConcept C33923547 @default.
- W2146225612 hasConcept C41008148 @default.
- W2146225612 hasConcept C80444323 @default.
- W2146225612 hasConcept C96654402 @default.
- W2146225612 hasConceptScore W2146225612C110251889 @default.
- W2146225612 hasConceptScore W2146225612C111498074 @default.
- W2146225612 hasConceptScore W2146225612C112505250 @default.
- W2146225612 hasConceptScore W2146225612C11413529 @default.
- W2146225612 hasConceptScore W2146225612C118615104 @default.
- W2146225612 hasConceptScore W2146225612C138885662 @default.
- W2146225612 hasConceptScore W2146225612C199360897 @default.
- W2146225612 hasConceptScore W2146225612C27206212 @default.
- W2146225612 hasConceptScore W2146225612C2779150620 @default.
- W2146225612 hasConceptScore W2146225612C2780069185 @default.
- W2146225612 hasConceptScore W2146225612C33923547 @default.
- W2146225612 hasConceptScore W2146225612C41008148 @default.
- W2146225612 hasConceptScore W2146225612C80444323 @default.
- W2146225612 hasConceptScore W2146225612C96654402 @default.
- W2146225612 hasLocation W21462256121 @default.
- W2146225612 hasOpenAccess W2146225612 @default.
- W2146225612 hasPrimaryLocation W21462256121 @default.
- W2146225612 hasRelatedWork W2034695828 @default.
- W2146225612 hasRelatedWork W2035731992 @default.
- W2146225612 hasRelatedWork W2134741216 @default.
- W2146225612 hasRelatedWork W2151898527 @default.
- W2146225612 hasRelatedWork W2161772051 @default.
- W2146225612 hasRelatedWork W2252794479 @default.
- W2146225612 hasRelatedWork W2895040814 @default.
- W2146225612 hasRelatedWork W3148913902 @default.
- W2146225612 hasRelatedWork W4238727895 @default.
- W2146225612 hasRelatedWork W4312254064 @default.
- W2146225612 isParatext "false" @default.
- W2146225612 isRetracted "false" @default.
- W2146225612 magId "2146225612" @default.
- W2146225612 workType "article" @default.