Rupsa Chakraborty, Dipanwita Roy Chowdhury. Raising the Level of Abstraction for the Timing Verification of System-on-Chips. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2008, 7-9 April 2008, Montpellier, France. pages 459-462, IEEE Computer Society, 2008. [doi]
Abstract is missing.