Osvaldo Martinello

Learn More
This paper introduces the concept of <i>kl</i>-feasible cuts, by controlling both the number <i>k</i> of inputs and the number <i>l</i> of outputs in a circuit cut. To provide scalability, the concept of factor cuts is extended to <i>kl</i>-cuts. Algorithms for computing this kind of cuts, including <i>kl</i>-cuts with unbounded <i>k</i>, are presented and(More)
This paper presents improvements on a previous methodology for false path detection using satisfiability. As the previous methodology, which is referred as node-sat, it is based on circuit node properties that are related to non-testable stuck-at faults as well as to false path detection. When compared to traditional satisfiability methods that generate(More)
  • 1