Efficient SAT-Based Circuit Initialization for Larger Designs

No abstract is available for this paper.

• Publication year

  2014

• Venue

  2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems

• Publication date

  2014-01-05

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1109/VLSID.2014.18
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Handbook of Satisfiability

  2021cited by this paper
• Accurate Multi-cycle ATPG in Presence of X-Values

  2013cited by this paper
• Scan to Nonscan Conversion via Test Cube Analysis

  2013cited by this paper
• A full featured component (object oriented) based architecture testing tool

  2011cited by this paper
• Initialization for synchronous sequential circuits based on chaotic particle swarm optimization

  2010cited by this paper
• Ant Colony Optimizations for Initialization of Synchronous Sequential Circuits

  2009cited by this paper
• CONCAT: CONflict Driven Learning in ATPG for Industrial designs

  2008cited by this paper
• Initializability analysis of synchronous sequential circuits

  2002cited by this paper
• SATIRE: A new incremental satisfiability engine

  2001cited by this paper
• On synchronizable circuits and their synchronizing sequences

  2000cited by this paper
• Testing, verification, and diagnosis in the presence of unknowns

  2000cited by this paper
• Synchronization of large sequential circuits by partial reset

  1996cited by this paper
• On the (non-)resetability of synchronous sequential circuits

  1996cited by this paper
• Synchronizing sequences and symbolic traversal techniques in test generation

  1993cited by this paper
• The BALLAST Methodology for Structured Partial Scan Design

  1990cited by this paper
• A Partial Scan Method for Sequential Circuits with Feedback

  1990cited by this paper
• An analytical approach to the partial scan problem

  1990cited by this paper
• On the Complexity of Derivation in Propositional Calculus

  1983cited by this paper

• Self-Timed Circuit Initialization

  2025cites this paper
• Using MaxBMC for Pareto-optimal circuit initialization

  2014cites this paper