Osvaldo Martinello

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
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