Matches in SemOpenAlex for { <https://semopenalex.org/work/W1667442268> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1667442268 startingPage "28325" @default.
- W1667442268 abstract "Abstract : The growing use of digital circuits in safety critical environments and the cost of correcting mistakes in large scale integrated circuits, both lead to a requirement for a high level of confidence in the correctness of the design of micro-electronic elements. This paper describes a novel application of a general hardware description language that enables the implementation of a synchronous circuit to be checked exhaustively against a high level, implementation independent, specification of its functionality (originally written in a formalism such as first order predicate calculus). The technique avoids the cost, in simulation time, usually associated with exhaustive checking. The method is illustrated by examples written in the design and description language ELLA: no prior knowledge of ELLA is assumed. Included in the annexes to this paper are a library of ELLA functions that provide those facilities required for the validation of circuits, and the translation of specifications written in the first order predicate calculus language LCF-LSM into ELLA." @default.
- W1667442268 created "2016-06-24" @default.
- W1667442268 creator A5024376162 @default.
- W1667442268 date "1985-11-01" @default.
- W1667442268 modified "2023-09-27" @default.
- W1667442268 title "Formal proof of correspondence between the specification of a hardware module and its gate level implementation" @default.
- W1667442268 hasPublicationYear "1985" @default.
- W1667442268 type Work @default.
- W1667442268 sameAs 1667442268 @default.
- W1667442268 citedByCount "3" @default.
- W1667442268 crossrefType "journal-article" @default.
- W1667442268 hasAuthorship W1667442268A5024376162 @default.
- W1667442268 hasConcept C100481476 @default.
- W1667442268 hasConcept C102993220 @default.
- W1667442268 hasConcept C11413529 @default.
- W1667442268 hasConcept C119599485 @default.
- W1667442268 hasConcept C127413603 @default.
- W1667442268 hasConcept C134146338 @default.
- W1667442268 hasConcept C142362112 @default.
- W1667442268 hasConcept C153349607 @default.
- W1667442268 hasConcept C19689857 @default.
- W1667442268 hasConcept C199360897 @default.
- W1667442268 hasConcept C41008148 @default.
- W1667442268 hasConcept C55439883 @default.
- W1667442268 hasConcept C558565934 @default.
- W1667442268 hasConcept C73301696 @default.
- W1667442268 hasConcept C80444323 @default.
- W1667442268 hasConcept C81843906 @default.
- W1667442268 hasConceptScore W1667442268C100481476 @default.
- W1667442268 hasConceptScore W1667442268C102993220 @default.
- W1667442268 hasConceptScore W1667442268C11413529 @default.
- W1667442268 hasConceptScore W1667442268C119599485 @default.
- W1667442268 hasConceptScore W1667442268C127413603 @default.
- W1667442268 hasConceptScore W1667442268C134146338 @default.
- W1667442268 hasConceptScore W1667442268C142362112 @default.
- W1667442268 hasConceptScore W1667442268C153349607 @default.
- W1667442268 hasConceptScore W1667442268C19689857 @default.
- W1667442268 hasConceptScore W1667442268C199360897 @default.
- W1667442268 hasConceptScore W1667442268C41008148 @default.
- W1667442268 hasConceptScore W1667442268C55439883 @default.
- W1667442268 hasConceptScore W1667442268C558565934 @default.
- W1667442268 hasConceptScore W1667442268C73301696 @default.
- W1667442268 hasConceptScore W1667442268C80444323 @default.
- W1667442268 hasConceptScore W1667442268C81843906 @default.
- W1667442268 hasLocation W16674422681 @default.
- W1667442268 hasOpenAccess W1667442268 @default.
- W1667442268 hasPrimaryLocation W16674422681 @default.
- W1667442268 hasRelatedWork W115036917 @default.
- W1667442268 hasRelatedWork W1518675260 @default.
- W1667442268 hasRelatedWork W1578754560 @default.
- W1667442268 hasRelatedWork W1584532689 @default.
- W1667442268 hasRelatedWork W1599201176 @default.
- W1667442268 hasRelatedWork W1609108672 @default.
- W1667442268 hasRelatedWork W1932279727 @default.
- W1667442268 hasRelatedWork W2012144129 @default.
- W1667442268 hasRelatedWork W2015874281 @default.
- W1667442268 hasRelatedWork W2021599033 @default.
- W1667442268 hasRelatedWork W2063441188 @default.
- W1667442268 hasRelatedWork W2113398086 @default.
- W1667442268 hasRelatedWork W2126297499 @default.
- W1667442268 hasRelatedWork W2160345626 @default.
- W1667442268 hasRelatedWork W2162611322 @default.
- W1667442268 hasRelatedWork W2162992811 @default.
- W1667442268 hasRelatedWork W2254710113 @default.
- W1667442268 hasRelatedWork W2394947622 @default.
- W1667442268 hasRelatedWork W2566851103 @default.
- W1667442268 hasRelatedWork W54285080 @default.
- W1667442268 hasVolume "86" @default.
- W1667442268 isParatext "false" @default.
- W1667442268 isRetracted "false" @default.
- W1667442268 magId "1667442268" @default.
- W1667442268 workType "article" @default.