Matches in SemOpenAlex for { <https://semopenalex.org/work/W2139831503> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2139831503 endingPage "51" @default.
- W2139831503 startingPage "44" @default.
- W2139831503 abstract "The verification of a n-stage pulse-driven IPCMOS pipeline, for any n>0, is presented. The complexity of the system is 32n transistors and delay information is provided at the level of transistor The correctness of the circuit highly depends on the timed behavior of its components and the environment. To verify the system, three techniques have been combined: (1) relative-timing-based verification from absolute timing information, (2) assume-guarantee reasoning to verify untimed abstractions of timed components and (3) mathematical induction to verify pipelines of any length. Even though the circuit can interact with pulse-driven environments, the internal behavior between stages commits a handshake protocol that enables the use of untimed abstractions. The verification not only reports a positive answer about the correctness of the system, but also gives a set of sufficient relative-timing constraints that determine delay slacks under which correctness can be maintained." @default.
- W2139831503 created "2016-06-24" @default.
- W2139831503 creator A5031451250 @default.
- W2139831503 creator A5040887414 @default.
- W2139831503 creator A5060041937 @default.
- W2139831503 creator A5065500712 @default.
- W2139831503 date "2002-03-04" @default.
- W2139831503 modified "2023-09-26" @default.
- W2139831503 title "A Case Study for the Verification of Complex Timed Circuits: IPCMOS" @default.
- W2139831503 cites W1505781174 @default.
- W2139831503 cites W1572777470 @default.
- W2139831503 cites W1583778827 @default.
- W2139831503 cites W1601573304 @default.
- W2139831503 cites W1830600668 @default.
- W2139831503 cites W1977272925 @default.
- W2139831503 cites W2024836787 @default.
- W2139831503 cites W2061438988 @default.
- W2139831503 cites W2093045165 @default.
- W2139831503 cites W2101508170 @default.
- W2139831503 cites W2110648791 @default.
- W2139831503 cites W2112080584 @default.
- W2139831503 cites W2143732349 @default.
- W2139831503 cites W2148684266 @default.
- W2139831503 cites W2293601555 @default.
- W2139831503 doi "https://doi.org/10.5555/882452.874525" @default.
- W2139831503 hasPublicationYear "2002" @default.
- W2139831503 type Work @default.
- W2139831503 sameAs 2139831503 @default.
- W2139831503 citedByCount "2" @default.
- W2139831503 crossrefType "proceedings-article" @default.
- W2139831503 hasAuthorship W2139831503A5031451250 @default.
- W2139831503 hasAuthorship W2139831503A5040887414 @default.
- W2139831503 hasAuthorship W2139831503A5060041937 @default.
- W2139831503 hasAuthorship W2139831503A5065500712 @default.
- W2139831503 hasConcept C111472728 @default.
- W2139831503 hasConcept C111498074 @default.
- W2139831503 hasConcept C11413529 @default.
- W2139831503 hasConcept C119599485 @default.
- W2139831503 hasConcept C124304363 @default.
- W2139831503 hasConcept C127413603 @default.
- W2139831503 hasConcept C134146338 @default.
- W2139831503 hasConcept C138885662 @default.
- W2139831503 hasConcept C149635348 @default.
- W2139831503 hasConcept C177264268 @default.
- W2139831503 hasConcept C199360897 @default.
- W2139831503 hasConcept C2778000800 @default.
- W2139831503 hasConcept C2779960059 @default.
- W2139831503 hasConcept C41008148 @default.
- W2139831503 hasConcept C43521106 @default.
- W2139831503 hasConcept C55439883 @default.
- W2139831503 hasConcept C79403827 @default.
- W2139831503 hasConcept C80444323 @default.
- W2139831503 hasConceptScore W2139831503C111472728 @default.
- W2139831503 hasConceptScore W2139831503C111498074 @default.
- W2139831503 hasConceptScore W2139831503C11413529 @default.
- W2139831503 hasConceptScore W2139831503C119599485 @default.
- W2139831503 hasConceptScore W2139831503C124304363 @default.
- W2139831503 hasConceptScore W2139831503C127413603 @default.
- W2139831503 hasConceptScore W2139831503C134146338 @default.
- W2139831503 hasConceptScore W2139831503C138885662 @default.
- W2139831503 hasConceptScore W2139831503C149635348 @default.
- W2139831503 hasConceptScore W2139831503C177264268 @default.
- W2139831503 hasConceptScore W2139831503C199360897 @default.
- W2139831503 hasConceptScore W2139831503C2778000800 @default.
- W2139831503 hasConceptScore W2139831503C2779960059 @default.
- W2139831503 hasConceptScore W2139831503C41008148 @default.
- W2139831503 hasConceptScore W2139831503C43521106 @default.
- W2139831503 hasConceptScore W2139831503C55439883 @default.
- W2139831503 hasConceptScore W2139831503C79403827 @default.
- W2139831503 hasConceptScore W2139831503C80444323 @default.
- W2139831503 hasLocation W21398315031 @default.
- W2139831503 hasOpenAccess W2139831503 @default.
- W2139831503 hasPrimaryLocation W21398315031 @default.
- W2139831503 hasRelatedWork W1482079447 @default.
- W2139831503 hasRelatedWork W1583594812 @default.
- W2139831503 hasRelatedWork W1814944153 @default.
- W2139831503 hasRelatedWork W2000257128 @default.
- W2139831503 hasRelatedWork W2072530605 @default.
- W2139831503 hasRelatedWork W2100582002 @default.
- W2139831503 hasRelatedWork W2103699587 @default.
- W2139831503 hasRelatedWork W2110687278 @default.
- W2139831503 hasRelatedWork W2113884575 @default.
- W2139831503 hasRelatedWork W2116312614 @default.
- W2139831503 hasRelatedWork W2130552249 @default.
- W2139831503 hasRelatedWork W2144922219 @default.
- W2139831503 hasRelatedWork W2146978514 @default.
- W2139831503 hasRelatedWork W2148325438 @default.
- W2139831503 hasRelatedWork W2154764836 @default.
- W2139831503 hasRelatedWork W2167251228 @default.
- W2139831503 hasRelatedWork W2167871424 @default.
- W2139831503 hasRelatedWork W2261397115 @default.
- W2139831503 hasRelatedWork W3141678950 @default.
- W2139831503 hasRelatedWork W2166185474 @default.
- W2139831503 isParatext "false" @default.
- W2139831503 isRetracted "false" @default.
- W2139831503 magId "2139831503" @default.
- W2139831503 workType "article" @default.