Matches in SemOpenAlex for { <https://semopenalex.org/work/W1970198550> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1970198550 endingPage "71" @default.
- W1970198550 startingPage "71" @default.
- W1970198550 abstract "We describe the formal verification of an industrial hardware design from PMC-Sierra, Inc. The design under investigation is a telecom system block, which processes a portion of the synchronous optical network (SONET) line overhead of a received data stream. We adopted a hierarchical modelling and verification approach which follows the natural design hierarchy. The formal specification and verification have been carried out based on multiway decision graphs (MDG), a new decision diagram subsuming the traditional binary decision diagrams and allowing abstract data and functions. The verification has been performed using both equivalence and model checking. To measure the performance of the MDG-based model checking, we also conducted a comparative verification of the same design using Cadence FormalCheck." @default.
- W1970198550 created "2016-06-24" @default.
- W1970198550 creator A5000925010 @default.
- W1970198550 creator A5007159598 @default.
- W1970198550 creator A5082437433 @default.
- W1970198550 date "2004-01-01" @default.
- W1970198550 modified "2023-10-09" @default.
- W1970198550 title "Formal verification of a SONET data stream processor" @default.
- W1970198550 cites W1529329471 @default.
- W1970198550 cites W1577504746 @default.
- W1970198550 cites W1776215724 @default.
- W1970198550 cites W1898783984 @default.
- W1970198550 cites W1977833242 @default.
- W1970198550 cites W2080267935 @default.
- W1970198550 cites W2096455207 @default.
- W1970198550 cites W2149391410 @default.
- W1970198550 cites W2164186251 @default.
- W1970198550 cites W4300021588 @default.
- W1970198550 doi "https://doi.org/10.1049/ip-cdt:20040034" @default.
- W1970198550 hasPublicationYear "2004" @default.
- W1970198550 type Work @default.
- W1970198550 sameAs 1970198550 @default.
- W1970198550 citedByCount "0" @default.
- W1970198550 crossrefType "journal-article" @default.
- W1970198550 hasAuthorship W1970198550A5000925010 @default.
- W1970198550 hasAuthorship W1970198550A5007159598 @default.
- W1970198550 hasAuthorship W1970198550A5082437433 @default.
- W1970198550 hasBestOaLocation W19701985502 @default.
- W1970198550 hasConcept C110251889 @default.
- W1970198550 hasConcept C111498074 @default.
- W1970198550 hasConcept C149091818 @default.
- W1970198550 hasConcept C149635348 @default.
- W1970198550 hasConcept C186846655 @default.
- W1970198550 hasConcept C198306430 @default.
- W1970198550 hasConcept C199360897 @default.
- W1970198550 hasConcept C2777904410 @default.
- W1970198550 hasConcept C2779960059 @default.
- W1970198550 hasConcept C31258907 @default.
- W1970198550 hasConcept C3309909 @default.
- W1970198550 hasConcept C3406870 @default.
- W1970198550 hasConcept C41008148 @default.
- W1970198550 hasConcept C62460635 @default.
- W1970198550 hasConcept C75606506 @default.
- W1970198550 hasConcept C96654402 @default.
- W1970198550 hasConceptScore W1970198550C110251889 @default.
- W1970198550 hasConceptScore W1970198550C111498074 @default.
- W1970198550 hasConceptScore W1970198550C149091818 @default.
- W1970198550 hasConceptScore W1970198550C149635348 @default.
- W1970198550 hasConceptScore W1970198550C186846655 @default.
- W1970198550 hasConceptScore W1970198550C198306430 @default.
- W1970198550 hasConceptScore W1970198550C199360897 @default.
- W1970198550 hasConceptScore W1970198550C2777904410 @default.
- W1970198550 hasConceptScore W1970198550C2779960059 @default.
- W1970198550 hasConceptScore W1970198550C31258907 @default.
- W1970198550 hasConceptScore W1970198550C3309909 @default.
- W1970198550 hasConceptScore W1970198550C3406870 @default.
- W1970198550 hasConceptScore W1970198550C41008148 @default.
- W1970198550 hasConceptScore W1970198550C62460635 @default.
- W1970198550 hasConceptScore W1970198550C75606506 @default.
- W1970198550 hasConceptScore W1970198550C96654402 @default.
- W1970198550 hasIssue "1" @default.
- W1970198550 hasLocation W19701985501 @default.
- W1970198550 hasLocation W19701985502 @default.
- W1970198550 hasOpenAccess W1970198550 @default.
- W1970198550 hasPrimaryLocation W19701985501 @default.
- W1970198550 hasRelatedWork W1928822090 @default.
- W1970198550 hasRelatedWork W1972950378 @default.
- W1970198550 hasRelatedWork W2105593427 @default.
- W1970198550 hasRelatedWork W2106507440 @default.
- W1970198550 hasRelatedWork W2153955347 @default.
- W1970198550 hasRelatedWork W2162615969 @default.
- W1970198550 hasRelatedWork W2800324237 @default.
- W1970198550 hasRelatedWork W3023586562 @default.
- W1970198550 hasRelatedWork W3120172095 @default.
- W1970198550 hasRelatedWork W2096723742 @default.
- W1970198550 hasVolume "151" @default.
- W1970198550 isParatext "false" @default.
- W1970198550 isRetracted "false" @default.
- W1970198550 magId "1970198550" @default.
- W1970198550 workType "article" @default.