Path Controllability Analysis for High Quality Designs
Journal
24th Asia and South Pacific Design Automation Conference (ASP-DAC 2019)
Date Issued
2019
Author(s)
Abstract
Given a design variable and its fanin cone, determining whether one fanin variable has controlling power over other fanin variables can benefit many design steps such as verification, synthesis and test generation. In this work we formulate this path controllability problem and propose several algorithms that not only solve this problem but also return values that enable or block other fanin variables. Empirical results show that our algorithms can effectively perform path controllability analysis and help produce high-quality designs.
SDGs
Type
conference paper