Form 9.B Project Summary

Chron:

971050

Proposal Number:

01.04-4097

Project Title:

Multi-Formal Hardware Verification

System

Technical Abstract (Limit 200 words)

Levetate Design Systems, Inc., as the prime

contractor, and Derivation Systems, Inc., as a

subcontractor, propose to develop an advanced

system for verifying digital electronic hardware

systems. The system addresses the problem of

verifying gate- or register transfer-level design

models against abstract specifications represented

as state machines. Innovative aspects of this

system include: (I) new methods to address the

problem of state explosion in large systems, (ii) new

methods based on theorem proving algorithms

implemented as user- friendly tools featuring

automated operation, fast execution times, and

effective debug support, and (iii) new methods to

implement rigorous, proof-based verifications that

feature automated construction of the proof steps

required by existing mechanical proof checkers.

The proposed research addresses elements of

NASA subtopic 01.04, Reliable and Safety-Critical

Software, by constructing

automated tools to support developing

safety-critical systems. The objective of the

proposed research is to develop a verification

system into an advanced prototype suitable for beta

testing by the end of Phase II. The successful

completion of this goal would go a long way in

moving the electronics design industry towards

methods of greater rigor and automation.

Potential Commercial Applications (Limit 200 words)

The main commercial applications for our proposed

work are electronic design automation (EDA) tools

for digital hardware design and verification. The

commercial potential for tools offering this

combination of automation, verification speed, and

proof security is, conservatively, well above $100

million.

Name and Address of Principal Investigator (Name,

Organization Name, Mail Address, City/State/Zip)

Dr. David A. Fura

Levetate Design Systems, Inc.

4756 Univ. Village Pl. NE, #168

Seattle , WA 98105

Name and Address of Offeror (Firm Name, Mail Address,

City/State/Zip)

Dr. David A. Fura

Levetate Design Systems, Inc.

4756 Univ. Village Pl. NE, #168

Seattle , WA 98105