Date of Original Version

3-1988

Type

Conference Proceeding

Abstract or Description

A logic simulator can prove the directness of a digital circuit if it can be shown that only circuits implementing the system specification will produce a particular response to a sequence of simulation commands.

Share

COinS