Modeling and Verifying Circuits Using Generalized Relative Timing.

Sanjit A. Seshia Randal E. Bryant Kenneth S. Stevens

Published in: ASYNC (2005)

Keyphrases

high speed
social networks
model checking
neural network
real world
feature selection
image processing
website
three dimensional
medical images
digital circuits
asynchronous circuits