Platform-specific timing verification framework in model-based implementation.

BaekGyu Kim Lu Feng Linh T. X. Phan Oleg Sokolsky Insup Lee

Published in: DATE (2015)

Keyphrases

main contribution
database
real time
domain specific
software architecture
data mining
probabilistic model
conceptual framework
asynchronous circuits
layered architecture