Matches in SemOpenAlex for { <https://semopenalex.org/work/W156963448> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W156963448 abstract "In this paper, a symbolic modelling approach is presented for the formal representation and verification of mixed analog/digital systems. The proposed modelling technique can be incorporated in the SFG-Tracing – a pragmatic methodology originally aimed at the formal verification of digital (VLSI) designs. Existing symbolic analysis and reasoning techniques can be employed to analyse the digital subsystems of a mixed analog/digital design. The development of appropriate, symbolic models to express the functional behaviour of the individual analog components, ultimately enables us to exploit a symbolic evaluation or simulation tool to formally verify the overall functional behaviour of a mixed-mode system." @default.
- W156963448 created "2016-06-24" @default.
- W156963448 creator A5023776065 @default.
- W156963448 creator A5036520372 @default.
- W156963448 date "1996-01-01" @default.
- W156963448 modified "2023-09-30" @default.
- W156963448 title "A Symbolic Modelling Approach for the Formal Verification of Integrated Mixed-Mode Systems" @default.
- W156963448 cites W1480254393 @default.
- W156963448 cites W1521083034 @default.
- W156963448 cites W1544279689 @default.
- W156963448 cites W1588212183 @default.
- W156963448 cites W1607924923 @default.
- W156963448 cites W1947290622 @default.
- W156963448 cites W2010065567 @default.
- W156963448 cites W2047932652 @default.
- W156963448 cites W2057956383 @default.
- W156963448 cites W2080267935 @default.
- W156963448 cites W2104601439 @default.
- W156963448 cites W2110210775 @default.
- W156963448 cites W2127271657 @default.
- W156963448 cites W2132967511 @default.
- W156963448 cites W2144928994 @default.
- W156963448 cites W2586350084 @default.
- W156963448 doi "https://doi.org/10.14236/ewic/dcc1996.4" @default.
- W156963448 hasPublicationYear "1996" @default.
- W156963448 type Work @default.
- W156963448 sameAs 156963448 @default.
- W156963448 citedByCount "4" @default.
- W156963448 crossrefType "proceedings-article" @default.
- W156963448 hasAuthorship W156963448A5023776065 @default.
- W156963448 hasAuthorship W156963448A5036520372 @default.
- W156963448 hasBestOaLocation W1569634481 @default.
- W156963448 hasConcept C107457646 @default.
- W156963448 hasConcept C110251889 @default.
- W156963448 hasConcept C111498074 @default.
- W156963448 hasConcept C111919701 @default.
- W156963448 hasConcept C138673069 @default.
- W156963448 hasConcept C17744445 @default.
- W156963448 hasConcept C199360897 @default.
- W156963448 hasConcept C199539241 @default.
- W156963448 hasConcept C23123167 @default.
- W156963448 hasConcept C2776359362 @default.
- W156963448 hasConcept C41008148 @default.
- W156963448 hasConcept C48677424 @default.
- W156963448 hasConcept C530198007 @default.
- W156963448 hasConcept C62907940 @default.
- W156963448 hasConcept C65620979 @default.
- W156963448 hasConcept C75606506 @default.
- W156963448 hasConcept C80444323 @default.
- W156963448 hasConcept C94625758 @default.
- W156963448 hasConceptScore W156963448C107457646 @default.
- W156963448 hasConceptScore W156963448C110251889 @default.
- W156963448 hasConceptScore W156963448C111498074 @default.
- W156963448 hasConceptScore W156963448C111919701 @default.
- W156963448 hasConceptScore W156963448C138673069 @default.
- W156963448 hasConceptScore W156963448C17744445 @default.
- W156963448 hasConceptScore W156963448C199360897 @default.
- W156963448 hasConceptScore W156963448C199539241 @default.
- W156963448 hasConceptScore W156963448C23123167 @default.
- W156963448 hasConceptScore W156963448C2776359362 @default.
- W156963448 hasConceptScore W156963448C41008148 @default.
- W156963448 hasConceptScore W156963448C48677424 @default.
- W156963448 hasConceptScore W156963448C530198007 @default.
- W156963448 hasConceptScore W156963448C62907940 @default.
- W156963448 hasConceptScore W156963448C65620979 @default.
- W156963448 hasConceptScore W156963448C75606506 @default.
- W156963448 hasConceptScore W156963448C80444323 @default.
- W156963448 hasConceptScore W156963448C94625758 @default.
- W156963448 hasLocation W1569634481 @default.
- W156963448 hasOpenAccess W156963448 @default.
- W156963448 hasPrimaryLocation W1569634481 @default.
- W156963448 hasRelatedWork W113732979 @default.
- W156963448 hasRelatedWork W1517478417 @default.
- W156963448 hasRelatedWork W156963448 @default.
- W156963448 hasRelatedWork W1871464630 @default.
- W156963448 hasRelatedWork W2079251676 @default.
- W156963448 hasRelatedWork W2127574686 @default.
- W156963448 hasRelatedWork W2144785157 @default.
- W156963448 hasRelatedWork W2146806823 @default.
- W156963448 hasRelatedWork W2401075618 @default.
- W156963448 hasRelatedWork W4312733571 @default.
- W156963448 isParatext "false" @default.
- W156963448 isRetracted "false" @default.
- W156963448 magId "156963448" @default.
- W156963448 workType "article" @default.