Including testability in a high-level synthesis environment
Résumé
This paper presents a methodology to synthesize testable circuits in a High-Level Synthesis environment using a graph-based approach. The complexity of the algorithm involved in the proposed approach is of the order O(N), where N is the number of vertices and edges in the graph.