Computing the transitive closure of a state transition relation

Yusuke Matsunaga, Patrick C. McGeer, Robert K. Brayton

Research output: Chapter in Book/Report/Conference proceedingConference contribution

21 Citations (Scopus)


We describe a new, recursive-descent procedure for the computation of the transitive closure of a transition relation. This procedure is the classic binary matrix procedure of [1], adapted to a BDD data structure, We demonstrate its efficacy when compared to standard iterative methods.

Original languageEnglish
Title of host publicationProceedings - Design Automation Conference
PublisherPubl by IEEE
Number of pages6
ISBN (Print)0897915771, 9780897915779
Publication statusPublished - Jan 1 1993
Externally publishedYes
EventProceedings of the 30th ACM/IEEE Design Automation Conference - Dallas, TX, USA
Duration: Jun 14 1993Jun 18 1993

Publication series

NameProceedings - Design Automation Conference
ISSN (Print)0146-7123


OtherProceedings of the 30th ACM/IEEE Design Automation Conference
CityDallas, TX, USA

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this