DocumentCode
3212315
Title
Δ-trees of a graph: introduction and formal definition
Author
Davis, Jason K. ; Macii, Enrico
Author_Institution
Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
fYear
1993
fDate
5-6 Mar 1993
Firstpage
107
Lastpage
108
Abstract
The authors introduce and formally define the Δ-trees of a graph. They have used Δ-trees in developing formal techniques for hardware verification based on the exploration of the graph structure of interacting finite state machines and ω-regular automata
Keywords
trees (mathematics); ω-regular automata; FSM; delta trees; finite state machines; graph structure; hardware verification; Automata; Circuits; Hardware; Informatics; Reachability analysis; Terminology; Tree graphs;
fLanguage
English
Publisher
ieee
Conference_Titel
VLSI, 1993. 'Design Automation of High Performance VLSI Systems', Proceedings., Third Great Lakes Symposium on
Conference_Location
Kalamazoo, MI
Print_ISBN
0-8186-3430-8
Type
conf
DOI
10.1109/GLSV.1993.224469
Filename
224469
Link To Document