DocumentCode
3171128
Title
Properties of Δ-trees and their relationship with peripheral trees
Author
Macii, Enrico
Author_Institution
Dept. of Electr. & Comput. Eng., Colorado Univ., Boulder, CO, USA
fYear
1994
fDate
25-28 Sep 1994
Firstpage
640
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);
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Computer Engineering, 1994. Conference Proceedings. 1994 Canadian Conference on
Conference_Location
Halifax, NS
Print_ISBN
0-7803-2416-1
Type
conf
DOI
10.1109/CCECE.1994.405833
Filename
405833
Link To Document