@dblp

Efficient false path elimination algorithms for timing verification by event graph preprocessing.

, , , , , and . Integr., 8 (2): 173-187 (1989)

Links and resources

Tags