Matches in SemOpenAlex for { <https://semopenalex.org/work/W2163965988> ?p ?o ?g. }
- W2163965988 endingPage "843" @default.
- W2163965988 startingPage "831" @default.
- W2163965988 abstract "We present a novel, highly efficient functional test generation methodology for synchronous sequential circuits. We generate test vectors for the growth (G) and disappearance (D) faults using a cube description of the finite state machine (FSM). Theoretical results establish that these tests guarantee a complete coverage of stuck faults in combinational and sequential circuits, synthesized through algebraic transformations. The truth table of the combinational logic of the circuit is modeled in the form known as personality matrix (PM) and vectors are obtained using highly efficient cube-based test generation method of programmable logic arrays (PLA). Sequential circuits are modeled as arrays of time-frames and new algorithms for state justification and fault propagation through faulty PLAs are derived. We also give a fault simulation procedure for G and D faults. Experiments show that test generation can be orders of magnitude faster and achieves a coverage of gate-level stuck faults that is higher than a gate-level sequential-circuit test generator. Results on a broad class of small to large synthesis benchmark PSM's from MCNC support our claim that functional test generation based on G and D faults is a viable and economical alternative to gate level ATPG, especially in a logic synthesis environment. The generated test sequences are implementation-independent and can be obtained even when details of specific implementation are unavailable. For the ISCAS'89 benchmarks, available only in multilevel netlist form, we extract the PM and generate functional tests. Experimental results show that a proper resynthesis improves the stuck fault coverage of these tests." @default.
- W2163965988 created "2016-06-24" @default.
- W2163965988 creator A5033105906 @default.
- W2163965988 creator A5039497046 @default.
- W2163965988 creator A5084081268 @default.
- W2163965988 date "1996-07-01" @default.
- W2163965988 modified "2023-09-25" @default.
- W2163965988 title "Functional test generation for synchronous sequential circuits" @default.
- W2163965988 cites W1559558380 @default.
- W2163965988 cites W1593401011 @default.
- W2163965988 cites W1981248732 @default.
- W2163965988 cites W1983881446 @default.
- W2163965988 cites W2030360623 @default.
- W2163965988 cites W2036887642 @default.
- W2163965988 cites W2047307891 @default.
- W2163965988 cites W2063019582 @default.
- W2163965988 cites W2085966211 @default.
- W2163965988 cites W2088013285 @default.
- W2163965988 cites W2105761964 @default.
- W2163965988 cites W2112206779 @default.
- W2163965988 cites W2115252182 @default.
- W2163965988 cites W2118311746 @default.
- W2163965988 cites W2125618072 @default.
- W2163965988 cites W2137657386 @default.
- W2163965988 cites W2146816098 @default.
- W2163965988 cites W2147833146 @default.
- W2163965988 cites W2148830996 @default.
- W2163965988 cites W2157991907 @default.
- W2163965988 cites W2170656697 @default.
- W2163965988 cites W2170668119 @default.
- W2163965988 cites W2171914031 @default.
- W2163965988 cites W4233594637 @default.
- W2163965988 cites W4247231097 @default.
- W2163965988 doi "https://doi.org/10.1109/43.503950" @default.
- W2163965988 hasPublicationYear "1996" @default.
- W2163965988 type Work @default.
- W2163965988 sameAs 2163965988 @default.
- W2163965988 citedByCount "5" @default.
- W2163965988 crossrefType "journal-article" @default.
- W2163965988 hasAuthorship W2163965988A5033105906 @default.
- W2163965988 hasAuthorship W2163965988A5039497046 @default.
- W2163965988 hasAuthorship W2163965988A5084081268 @default.
- W2163965988 hasBestOaLocation W21639659882 @default.
- W2163965988 hasConcept C113775141 @default.
- W2163965988 hasConcept C11413529 @default.
- W2163965988 hasConcept C119599485 @default.
- W2163965988 hasConcept C126953365 @default.
- W2163965988 hasConcept C127413603 @default.
- W2163965988 hasConcept C131017901 @default.
- W2163965988 hasConcept C13280743 @default.
- W2163965988 hasConcept C134146338 @default.
- W2163965988 hasConcept C173608175 @default.
- W2163965988 hasConcept C17626397 @default.
- W2163965988 hasConcept C177650935 @default.
- W2163965988 hasConcept C185798385 @default.
- W2163965988 hasConcept C187075797 @default.
- W2163965988 hasConcept C205649164 @default.
- W2163965988 hasConcept C41008148 @default.
- W2163965988 hasConcept C56949724 @default.
- W2163965988 hasConcept C81409106 @default.
- W2163965988 hasConcept C9390403 @default.
- W2163965988 hasConceptScore W2163965988C113775141 @default.
- W2163965988 hasConceptScore W2163965988C11413529 @default.
- W2163965988 hasConceptScore W2163965988C119599485 @default.
- W2163965988 hasConceptScore W2163965988C126953365 @default.
- W2163965988 hasConceptScore W2163965988C127413603 @default.
- W2163965988 hasConceptScore W2163965988C131017901 @default.
- W2163965988 hasConceptScore W2163965988C13280743 @default.
- W2163965988 hasConceptScore W2163965988C134146338 @default.
- W2163965988 hasConceptScore W2163965988C173608175 @default.
- W2163965988 hasConceptScore W2163965988C17626397 @default.
- W2163965988 hasConceptScore W2163965988C177650935 @default.
- W2163965988 hasConceptScore W2163965988C185798385 @default.
- W2163965988 hasConceptScore W2163965988C187075797 @default.
- W2163965988 hasConceptScore W2163965988C205649164 @default.
- W2163965988 hasConceptScore W2163965988C41008148 @default.
- W2163965988 hasConceptScore W2163965988C56949724 @default.
- W2163965988 hasConceptScore W2163965988C81409106 @default.
- W2163965988 hasConceptScore W2163965988C9390403 @default.
- W2163965988 hasIssue "7" @default.
- W2163965988 hasLocation W21639659881 @default.
- W2163965988 hasLocation W21639659882 @default.
- W2163965988 hasOpenAccess W2163965988 @default.
- W2163965988 hasPrimaryLocation W21639659881 @default.
- W2163965988 hasRelatedWork W1751367421 @default.
- W2163965988 hasRelatedWork W2096066993 @default.
- W2163965988 hasRelatedWork W2098289641 @default.
- W2163965988 hasRelatedWork W2110728526 @default.
- W2163965988 hasRelatedWork W2163965988 @default.
- W2163965988 hasRelatedWork W2170656965 @default.
- W2163965988 hasRelatedWork W2591099281 @default.
- W2163965988 hasRelatedWork W4241661428 @default.
- W2163965988 hasRelatedWork W4245485844 @default.
- W2163965988 hasRelatedWork W2141396628 @default.
- W2163965988 hasVolume "15" @default.
- W2163965988 isParatext "false" @default.
- W2163965988 isRetracted "false" @default.
- W2163965988 magId "2163965988" @default.