Multiple-Objective Backtrace for Solving Test Generation Constraints


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)


5 Figures and Tables

Slides referencing similar topics