Multiple-Objective Backtrace for Solving Test Generation Constraints

Abstract

Current paper presents a new method for solving hierarchical test generation constrainis. Unlike most of /he previous solvers. the proposed approach relies on the low-level model description of the constraints. The low-level model used is structurally synthesized BDDs, which are generated directly from the gate-level descriptions of the hierarchical modules… (More)

Topics

5 Figures and Tables

Slides referencing similar topics