Faculty Advisor

Fisler, Kathryn.

Faculty Advisor

Ruiz, Carolina.

Abstract

To ensure that the design of a hardware system or protocol works according to specification, either a formal proof is constructed or the design is tested through simulations. In this project we applied data mining methods to the output of design simulations to discover patterns in the design's behavior. If mining the data produces unexpected results, the design should be questioned. If no unexpected patterns are generated, the patterns can be used to guide formal verification methods.

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