Generic Transforms on Incomplete Specifications of Asynchronous Interfaces.

Published in: MFPS (2003)

Keyphrases

delay insensitive
state machines
high level
asynchronous circuits
domain specific
missing values
incomplete data
formal specification
uncertain information
real time
learning algorithm
temporal logic
online discussion
specification language
reactive systems
database interface