Hierarchical conditional dependency graphs for conditional resource sharing

Conditional resource sharing has been identified as a possibility for optimizing high-level synthesis results. We propose a hierarchical conditional dependency graph representation that permits to treat conditional resource sharing in a generic fashion depending on the specific context, i.e. functional units, storage elements and interconnects. Resource usage conditions are represented in a control hierarchy of BDD trees that permits efficient reasoning on condition exclusiveness. These ideas are illustrated by a scheduling example