Matches in SemOpenAlex for { <https://semopenalex.org/work/W4238727895> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W4238727895 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.
- W4238727895 created "2022-05-12" @default.
- W4238727895 creator A5002661071 @default.
- W4238727895 creator A5007159598 @default.
- W4238727895 date "2003-01-01" @default.
- W4238727895 modified "2023-10-01" @default.
- W4238727895 title "Language emptiness checking using MDGs" @default.
- W4238727895 doi "https://doi.org/10.1145/764825.764832" @default.
- W4238727895 hasPublicationYear "2003" @default.
- W4238727895 type Work @default.
- W4238727895 citedByCount "0" @default.
- W4238727895 crossrefType "proceedings-article" @default.
- W4238727895 hasAuthorship W4238727895A5002661071 @default.
- W4238727895 hasAuthorship W4238727895A5007159598 @default.
- W4238727895 hasConcept C110251889 @default.
- W4238727895 hasConcept C111498074 @default.
- W4238727895 hasConcept C112505250 @default.
- W4238727895 hasConcept C11413529 @default.
- W4238727895 hasConcept C118615104 @default.
- W4238727895 hasConcept C138885662 @default.
- W4238727895 hasConcept C199360897 @default.
- W4238727895 hasConcept C27206212 @default.
- W4238727895 hasConcept C2779150620 @default.
- W4238727895 hasConcept C2780069185 @default.
- W4238727895 hasConcept C33923547 @default.
- W4238727895 hasConcept C41008148 @default.
- W4238727895 hasConcept C80444323 @default.
- W4238727895 hasConcept C96654402 @default.
- W4238727895 hasConceptScore W4238727895C110251889 @default.
- W4238727895 hasConceptScore W4238727895C111498074 @default.
- W4238727895 hasConceptScore W4238727895C112505250 @default.
- W4238727895 hasConceptScore W4238727895C11413529 @default.
- W4238727895 hasConceptScore W4238727895C118615104 @default.
- W4238727895 hasConceptScore W4238727895C138885662 @default.
- W4238727895 hasConceptScore W4238727895C199360897 @default.
- W4238727895 hasConceptScore W4238727895C27206212 @default.
- W4238727895 hasConceptScore W4238727895C2779150620 @default.
- W4238727895 hasConceptScore W4238727895C2780069185 @default.
- W4238727895 hasConceptScore W4238727895C33923547 @default.
- W4238727895 hasConceptScore W4238727895C41008148 @default.
- W4238727895 hasConceptScore W4238727895C80444323 @default.
- W4238727895 hasConceptScore W4238727895C96654402 @default.
- W4238727895 hasLocation W42387278951 @default.
- W4238727895 hasOpenAccess W4238727895 @default.
- W4238727895 hasPrimaryLocation W42387278951 @default.
- W4238727895 hasRelatedWork W2034695828 @default.
- W4238727895 hasRelatedWork W2035731992 @default.
- W4238727895 hasRelatedWork W2134741216 @default.
- W4238727895 hasRelatedWork W2151898527 @default.
- W4238727895 hasRelatedWork W2161772051 @default.
- W4238727895 hasRelatedWork W2252794479 @default.
- W4238727895 hasRelatedWork W2895040814 @default.
- W4238727895 hasRelatedWork W3148913902 @default.
- W4238727895 hasRelatedWork W4312254064 @default.
- W4238727895 hasRelatedWork W2574061973 @default.
- W4238727895 isParatext "false" @default.
- W4238727895 isRetracted "false" @default.
- W4238727895 workType "article" @default.