S. Regimbal, Yvon Savaria, Guy Bois. Verification Strategy Determination Using Dependence Analysis of Transaction-Level Models. In Proceedings of the 4th IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC 04), 19-21 July 2004, Banff, Alberta, Canada. pages 87-92, IEEE Computer Society, 2004. [doi]
Abstract is missing.