Faculty Advisor

Fisler, Kathryn

Abstract

This project compares the performance of two different algorithms for symbolic cycle detection in very large graphs, in particular graphs represented as Binary Decision Diagrams. The purpose is to determine if one of the two algorithms performs better on graphs with certain characteristics, therby allowing verification engineers to choose an algorithm that will be more efficient on each problem. This will allow verification systems, or systems to analyze the validity of a given design, to run more quickly and efficiently.

Publisher

Worcester Polytechnic Institute

Date Accepted

January 2001

Major

Computer Science

Project Type

Major Qualifying Project

Accessibility

Restricted-WPI community only

Advisor Department

Computer Science

Advisor Program

Computer Science

Share

COinS