On Deducing Timing Constraints in the Verification of Interfaces F. MavaddatT. Gahlinger OriginalPaper Pages: 223 - 239
Efficient Algorithms for Interface Timing Verification Ti-Yen YenAlex IshiiWayne Wolf OriginalPaper Pages: 241 - 265
The General Product Machine: a New Model for Symbolic FSM Traversal Giampiero CabodiPaolo CamuratiMatteo Sonza Reorda OriginalPaper Pages: 267 - 289