Date of Original Version

1985

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

We present a method for automatically verifying asynchronous sequential circuits using temporal logic specifications.

Share

COinS