TASS: Timing Analyzer of Scenario-Based Specifications.

Minxue Pan Lei Bu Xuandong Li

Published in: CAV (2009)

Keyphrases

asynchronous circuits
delay insensitive
high level
formal specification
specification language
data sets
genetic algorithm
neural network
learning algorithm
search engine
social networks
similarity measure
control flow
formal language
design requirements