Matches in SemOpenAlex for { <https://semopenalex.org/work/W2027387173> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2027387173 abstract "This paper is concerned with the analysis of design errors that lead to unpredictable response of digital systems. Besides classical topics, such as hazards and races, the analysis of malfunctions in real circuits is also included. After defining the notion of behavior and nondeterministic response, a general approach for detecting such design problems through algebraic analysis is presented. Compared with existing simulation methods, the algebraic technique provides results of improved accuracy. Another basic advantage is the ability to accomodate modular synthesis of digital systems. Examples show how the proposed methods deal with sequential circuits under various delay assumptions. In particular, analysis of designs based on nominal delay parameters and on window delays is presented. A novel method, aiming at spike detection, is also presented. The ability of the algebraic analysis to detect errors in a modular design environment is illustrated by means of an example. Finally, the topic of nondeterministic behavior at RTL is briefly discussed. Notably, an algebraic method for deriving setup and hold time constraints from the circuit delay parameters is proposed." @default.
- W2027387173 created "2016-06-24" @default.
- W2027387173 creator A5003121036 @default.
- W2027387173 creator A5074225278 @default.
- W2027387173 date "1980-01-01" @default.
- W2027387173 modified "2023-09-28" @default.
- W2027387173 title "Algebraic analysis of nondeterministic behavior" @default.
- W2027387173 cites W2128866814 @default.
- W2027387173 doi "https://doi.org/10.1145/800139.804573" @default.
- W2027387173 hasPublicationYear "1980" @default.
- W2027387173 type Work @default.
- W2027387173 sameAs 2027387173 @default.
- W2027387173 citedByCount "4" @default.
- W2027387173 crossrefType "proceedings-article" @default.
- W2027387173 hasAuthorship W2027387173A5003121036 @default.
- W2027387173 hasAuthorship W2027387173A5074225278 @default.
- W2027387173 hasConcept C101468663 @default.
- W2027387173 hasConcept C113775141 @default.
- W2027387173 hasConcept C11413529 @default.
- W2027387173 hasConcept C119599485 @default.
- W2027387173 hasConcept C127413603 @default.
- W2027387173 hasConcept C134306372 @default.
- W2027387173 hasConcept C176181172 @default.
- W2027387173 hasConcept C199360897 @default.
- W2027387173 hasConcept C32946077 @default.
- W2027387173 hasConcept C33923547 @default.
- W2027387173 hasConcept C41008148 @default.
- W2027387173 hasConcept C80444323 @default.
- W2027387173 hasConcept C9376300 @default.
- W2027387173 hasConceptScore W2027387173C101468663 @default.
- W2027387173 hasConceptScore W2027387173C113775141 @default.
- W2027387173 hasConceptScore W2027387173C11413529 @default.
- W2027387173 hasConceptScore W2027387173C119599485 @default.
- W2027387173 hasConceptScore W2027387173C127413603 @default.
- W2027387173 hasConceptScore W2027387173C134306372 @default.
- W2027387173 hasConceptScore W2027387173C176181172 @default.
- W2027387173 hasConceptScore W2027387173C199360897 @default.
- W2027387173 hasConceptScore W2027387173C32946077 @default.
- W2027387173 hasConceptScore W2027387173C33923547 @default.
- W2027387173 hasConceptScore W2027387173C41008148 @default.
- W2027387173 hasConceptScore W2027387173C80444323 @default.
- W2027387173 hasConceptScore W2027387173C9376300 @default.
- W2027387173 hasLocation W20273871731 @default.
- W2027387173 hasOpenAccess W2027387173 @default.
- W2027387173 hasPrimaryLocation W20273871731 @default.
- W2027387173 hasRelatedWork W1971178560 @default.
- W2027387173 hasRelatedWork W1978361069 @default.
- W2027387173 hasRelatedWork W2003598123 @default.
- W2027387173 hasRelatedWork W2011576292 @default.
- W2027387173 hasRelatedWork W2043866646 @default.
- W2027387173 hasRelatedWork W2096488240 @default.
- W2027387173 hasRelatedWork W2115881964 @default.
- W2027387173 hasRelatedWork W2119613201 @default.
- W2027387173 hasRelatedWork W2135833569 @default.
- W2027387173 hasRelatedWork W2144591199 @default.
- W2027387173 hasRelatedWork W2144922219 @default.
- W2027387173 hasRelatedWork W2151989224 @default.
- W2027387173 hasRelatedWork W2158440114 @default.
- W2027387173 hasRelatedWork W2169913777 @default.
- W2027387173 hasRelatedWork W2186135017 @default.
- W2027387173 hasRelatedWork W2275146865 @default.
- W2027387173 hasRelatedWork W2521417434 @default.
- W2027387173 hasRelatedWork W2537286440 @default.
- W2027387173 hasRelatedWork W2792778858 @default.
- W2027387173 hasRelatedWork W2922442894 @default.
- W2027387173 isParatext "false" @default.
- W2027387173 isRetracted "false" @default.
- W2027387173 magId "2027387173" @default.
- W2027387173 workType "article" @default.