Cyclone: A Static Timing and Power Engine for Asynchronous Circuits.

Wenmian Hua Yi-Shan Lu Keshav Pingali Rajit Manohar

Published in: ASYNC (2020)

Keyphrases

asynchronous circuits
delay insensitive
model checking
process algebra
dynamic analysis
artificial intelligence
power consumption
fuel consumption
database
real time
data sets
search algorithm
expert systems
web services composition
retrieval engine