Verification Strategy Determination Using Dependence Analysis of Transaction-Level Models

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]

Authors

S. Regimbal

This author has not been identified. Look up 'S. Regimbal' in Google

Yvon Savaria

This author has not been identified. Look up 'Yvon Savaria' in Google

Guy Bois

This author has not been identified. Look up 'Guy Bois' in Google