2002 · 12 citations · 12 references
EngineeringMem TestingComputer ArchitectureSystem-level DesignHardware SystemsFormal VerificationPartial ScanEasy TestabilityParallel ComputingInstruction-level ParallelismSequential CircuitsAsynchronous CircuitsSynchronous DesignComputer EngineeringBuilt-in Self-testComputer ScienceDesign For TestingLogic SynthesisProgram AnalysisSoftware TestingFormal MethodsCombinatorial Testing WorkflowParallel ProgrammingSequential CircuitAsynchronous Systems
Testing of sequential circuits is greatly facilitated by using scan techniques to directly control and observe the latches. Adding scan capability after logic synthesis may incur significant area and delay overheads. For such cases, we present a technique called synthesis for parallel partial scan in which latches are incrementally selected for partial scan based on some new structural analysis criteria that we introduce. Delay overhead is minimized, in most cases made zero or nearly zero, by judiciously selecting the latches in the non-critical paths. A heuristic is used to maximally merge the scan logic with the combinational logic of the sequential circuit to minimize the area overhead. The latches used in our scheme are normal, non-scan latches. Experimental results on ISCAS '89 benchmarks resynthesized by our method indicate that we can, in general, achieve the same level of testability with fewer latches selected for partial scan, as compared to previous methods based on structural analysis.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
12
William H. Press, Saul A. Teukolsky, William T. Vetterling et al. · 1994 · 15.3K citations
Mathematical Programming, Numerical Analysis, Electrical Engineering +11
Combinational profiles of sequential benchmark circuits
F. Brglez, D. Bryan, Krzysztof Koźmiński · 2003 · 2.1K citations
Sequential circuit design using synthesis and optimization
Ellen Sentovich, K.J. Singh, Cho W. Moon et al. · 2003 · 607 citations