Matches in SemOpenAlex for { <https://semopenalex.org/work/W5386596> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W5386596 abstract "We address the problem of logic verification, for both combinational and sequential logic. Our focus is on increasing the size and range of circuits for which formal verification, as opposed to test vector generation and simulation, is feasible. We discuss the Binary Decision Diagram (or BDD) as a means of representing boolean functions. This representation is canonical with respect to the variable ordering and is usually compact. We present an original algorithm for finding the optimal variable ordering for a BDD. This algorithm is additionally useful in the synthesis of a certain type of circuit. We introduce a data structure called the projective BDD which is not canonical but can be more compact than the BDD. We develop an algorithm for verifying multiplier circuits using this structure. Finally, we present a form of deterministic finite automaton, the n-DFA, whose transitions are labeled with boolean functions. Using this structure, we develop an algorithm for the problem of sequential logic verification. For each of these algorithms--to do BDD minimization, multiplier verification, and verification of sequential circuits--we report the running times of actual implementations and compare them to benchmarks in order to demonstrate the practicality of our methods." @default.
- W5386596 created "2016-06-24" @default.
- W5386596 creator A5078941390 @default.
- W5386596 date "1990-01-01" @default.
- W5386596 modified "2023-09-26" @default.
- W5386596 title "Data structures for formal verification of circuit designs" @default.
- W5386596 hasPublicationYear "1990" @default.
- W5386596 type Work @default.
- W5386596 sameAs 5386596 @default.
- W5386596 citedByCount "1" @default.
- W5386596 crossrefType "journal-article" @default.
- W5386596 hasAuthorship W5386596A5078941390 @default.
- W5386596 hasConcept C111498074 @default.
- W5386596 hasConcept C11413529 @default.
- W5386596 hasConcept C131017901 @default.
- W5386596 hasConcept C141796577 @default.
- W5386596 hasConcept C162319229 @default.
- W5386596 hasConcept C187075797 @default.
- W5386596 hasConcept C187455244 @default.
- W5386596 hasConcept C196836630 @default.
- W5386596 hasConcept C199360897 @default.
- W5386596 hasConcept C3309909 @default.
- W5386596 hasConcept C33923547 @default.
- W5386596 hasConcept C41008148 @default.
- W5386596 hasConcept C80444323 @default.
- W5386596 hasConcept C81409106 @default.
- W5386596 hasConcept C94992772 @default.
- W5386596 hasConceptScore W5386596C111498074 @default.
- W5386596 hasConceptScore W5386596C11413529 @default.
- W5386596 hasConceptScore W5386596C131017901 @default.
- W5386596 hasConceptScore W5386596C141796577 @default.
- W5386596 hasConceptScore W5386596C162319229 @default.
- W5386596 hasConceptScore W5386596C187075797 @default.
- W5386596 hasConceptScore W5386596C187455244 @default.
- W5386596 hasConceptScore W5386596C196836630 @default.
- W5386596 hasConceptScore W5386596C199360897 @default.
- W5386596 hasConceptScore W5386596C3309909 @default.
- W5386596 hasConceptScore W5386596C33923547 @default.
- W5386596 hasConceptScore W5386596C41008148 @default.
- W5386596 hasConceptScore W5386596C80444323 @default.
- W5386596 hasConceptScore W5386596C81409106 @default.
- W5386596 hasConceptScore W5386596C94992772 @default.
- W5386596 hasLocation W53865961 @default.
- W5386596 hasOpenAccess W5386596 @default.
- W5386596 hasPrimaryLocation W53865961 @default.
- W5386596 hasRelatedWork W1498699390 @default.
- W5386596 hasRelatedWork W1661399754 @default.
- W5386596 hasRelatedWork W1837817108 @default.
- W5386596 hasRelatedWork W1881699167 @default.
- W5386596 hasRelatedWork W1968414338 @default.
- W5386596 hasRelatedWork W1976195070 @default.
- W5386596 hasRelatedWork W1994049223 @default.
- W5386596 hasRelatedWork W2070119842 @default.
- W5386596 hasRelatedWork W2076801642 @default.
- W5386596 hasRelatedWork W2101801483 @default.
- W5386596 hasRelatedWork W2141966930 @default.
- W5386596 hasRelatedWork W2145785237 @default.
- W5386596 hasRelatedWork W2153025491 @default.
- W5386596 hasRelatedWork W2160991071 @default.
- W5386596 hasRelatedWork W2169424248 @default.
- W5386596 hasRelatedWork W2390295256 @default.
- W5386596 hasRelatedWork W2461361846 @default.
- W5386596 hasRelatedWork W2622320040 @default.
- W5386596 hasRelatedWork W2767987826 @default.
- W5386596 hasRelatedWork W3011975706 @default.
- W5386596 isParatext "false" @default.
- W5386596 isRetracted "false" @default.
- W5386596 magId "5386596" @default.
- W5386596 workType "article" @default.