RESTA: a robust and extendable symbolic timing analysis tool.

Kundan NepalHui-Yuan SongR. Iris BaharJoel Grodstein
Published in: ACM Great Lakes Symposium on VLSI (2004)