Modeling and Verification of Circuit with Stable-Event.

Tingting Jia Caihong Li Anping He

Published in: CyberC (2017)

Keyphrases

data sets
high speed
event detection
information retrieval
event recognition
databases
machine learning
case study
event sequences
formal verification
asynchronous circuits