Matches in SemOpenAlex for { <https://semopenalex.org/work/W2026492714> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2026492714 endingPage "295" @default.
- W2026492714 startingPage "295" @default.
- W2026492714 abstract "The paper demonstrates that verification techniques developed for relatively large, synchronous circuits can be applied to speed-independent, self-timed circuits. Local formulas are introduced which provide a natural way to specify the input/output behaviour of data-path circuits. The validity of a local formula is independent of the order in which the operations occur in a speed-independent circuit. The approach is demonstrated with the verification of a FIFO and a vector multiplier chip." @default.
- W2026492714 created "2016-06-24" @default.
- W2026492714 creator A5067793714 @default.
- W2026492714 creator A5087823003 @default.
- W2026492714 date "1996-01-01" @default.
- W2026492714 modified "2023-09-26" @default.
- W2026492714 title "Verification of speed-independent data-path circuits" @default.
- W2026492714 cites W1986558678 @default.
- W2026492714 cites W2021609618 @default.
- W2026492714 cites W2026492714 @default.
- W2026492714 cites W2088106392 @default.
- W2026492714 doi "https://doi.org/10.1049/ip-cdt:19960703" @default.
- W2026492714 hasPublicationYear "1996" @default.
- W2026492714 type Work @default.
- W2026492714 sameAs 2026492714 @default.
- W2026492714 citedByCount "3" @default.
- W2026492714 crossrefType "journal-article" @default.
- W2026492714 hasAuthorship W2026492714A5067793714 @default.
- W2026492714 hasAuthorship W2026492714A5087823003 @default.
- W2026492714 hasConcept C11413529 @default.
- W2026492714 hasConcept C119599485 @default.
- W2026492714 hasConcept C124584101 @default.
- W2026492714 hasConcept C127413603 @default.
- W2026492714 hasConcept C134146338 @default.
- W2026492714 hasConcept C139719470 @default.
- W2026492714 hasConcept C162324750 @default.
- W2026492714 hasConcept C165005293 @default.
- W2026492714 hasConcept C199360897 @default.
- W2026492714 hasConcept C24326235 @default.
- W2026492714 hasConcept C2777145635 @default.
- W2026492714 hasConcept C2777735758 @default.
- W2026492714 hasConcept C41008148 @default.
- W2026492714 hasConcept C76155785 @default.
- W2026492714 hasConcept C9390403 @default.
- W2026492714 hasConceptScore W2026492714C11413529 @default.
- W2026492714 hasConceptScore W2026492714C119599485 @default.
- W2026492714 hasConceptScore W2026492714C124584101 @default.
- W2026492714 hasConceptScore W2026492714C127413603 @default.
- W2026492714 hasConceptScore W2026492714C134146338 @default.
- W2026492714 hasConceptScore W2026492714C139719470 @default.
- W2026492714 hasConceptScore W2026492714C162324750 @default.
- W2026492714 hasConceptScore W2026492714C165005293 @default.
- W2026492714 hasConceptScore W2026492714C199360897 @default.
- W2026492714 hasConceptScore W2026492714C24326235 @default.
- W2026492714 hasConceptScore W2026492714C2777145635 @default.
- W2026492714 hasConceptScore W2026492714C2777735758 @default.
- W2026492714 hasConceptScore W2026492714C41008148 @default.
- W2026492714 hasConceptScore W2026492714C76155785 @default.
- W2026492714 hasConceptScore W2026492714C9390403 @default.
- W2026492714 hasIssue "5" @default.
- W2026492714 hasLocation W20264927141 @default.
- W2026492714 hasOpenAccess W2026492714 @default.
- W2026492714 hasPrimaryLocation W20264927141 @default.
- W2026492714 hasRelatedWork W2026492714 @default.
- W2026492714 hasRelatedWork W2041601246 @default.
- W2026492714 hasRelatedWork W2069593056 @default.
- W2026492714 hasRelatedWork W2094634924 @default.
- W2026492714 hasRelatedWork W2102210777 @default.
- W2026492714 hasRelatedWork W2135369720 @default.
- W2026492714 hasRelatedWork W2360704530 @default.
- W2026492714 hasRelatedWork W2364308300 @default.
- W2026492714 hasRelatedWork W2371125232 @default.
- W2026492714 hasRelatedWork W2380620820 @default.
- W2026492714 hasVolume "143" @default.
- W2026492714 isParatext "false" @default.
- W2026492714 isRetracted "false" @default.
- W2026492714 magId "2026492714" @default.
- W2026492714 workType "article" @default.