Efficient Algorithms for Interface Timing Verification.

Ti-Yen Yen Alex Ishii Albert E. Casavant Wayne H. Wolf

Published in: Formal Methods Syst. Des. (1998)

Keyphrases

asynchronous circuits
user interface
visual interface
friendly interface
verification method
data sets
natural language interface
computer interface
database
concurrent systems
formal verification
formal methods
query interface
high speed
open source
website
machine learning