Title :
Properties of Δ-trees and their relationship with peripheral trees
Author_Institution :
Dept. of Electr. & Comput. Eng., Colorado Univ., Boulder, CO, USA
Abstract :
Δ-trees of a graph have been introduced in the recent past for applications in the areas of logic synthesis and formal hardware verification together with an algorithm for their determination. We focus on the theory of Δ-trees; in particular, we illustrate the fundamental properties of this new kind of tree, and we study its relationship with peripheral trees
Keywords :
trees (mathematics); Δ-trees; formal hardware verification; graph theory; logic synthesis; peripheral trees; Trees (graphs);
Conference_Titel :
Electrical and Computer Engineering, 1994. Conference Proceedings. 1994 Canadian Conference on
Conference_Location :
Halifax, NS
Print_ISBN :
0-7803-2416-1
DOI :
10.1109/CCECE.1994.405833
