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

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

Browse the full DATE paper archive.