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.

• This report represents the work of one or more WPI undergraduate students submitted to the faculty as evidence of completion of a degree requirement. WPI routinely publishes these reports on its website without editorial or peer review.

Creator

• Cole, Christopher David.

Publisher

• Worcester Polytechnic Institute

Identifier

• 01D005M

Advisor

• Fisler, Kathryn
• Ruiz, Carolina

Year

• 2001

Date created

• 2001-01-01

Resource type

• Major Qualifying Project

Major

• Computer Science

Rights statement

• In Copyright