Delay-Insensitive Interface Specification and Synthesis.

Mark B. Josephs Dennis P. Furey

Published in: DATE (2000)

Keyphrases

delay insensitive
asynchronous circuits
user interface
novice users
low power
specification language
program synthesis
natural language interface
formal methods
machine learning
human computer interface
interface design
user friendly
case study
visual interface
reactive systems
information retrieval