Transforming logic simulator output to tester timing descriptions.

Peter Spanier Hans Wojtkowiak Karl B. Eisner

Published in: Microprocessing and Microprogramming (1990)

Keyphrases

asynchronous circuits
modal logic
automated reasoning
predicate logic
sound and complete axiomatization
machine learning
high level
multi agent
description logics
input data
simulation model
multi valued
probabilistic logic
formal theory
simulation tool
linear logic