Login / Signup
SPOCK: Static Performance Analysis and Deadlock Verification for Efficient Asynchronous Circuit Synthesis.
Chun-Hong Shih
Yi-Hsiang Lai
Jie-Hong Roland Jiang
Published in:
ICCAD (2015)
Keyphrases
</>
computationally expensive
image processing
information technology
computationally efficient
real time
genetic algorithm
knowledge base
case study
face recognition
data structure
probabilistic model
cost effective
model checking