Speeding up safety verification by fault abstraction and simulation to transaction level - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello. Speeding up safety verification by fault abstraction and simulation to transaction level. In 2016 IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016. pages 1-6, IEEE, 2016. [doi]

This author has not been identified. Look up 'Bogdan-Andrei Tabacaru' in GoogleThis author has not been identified. Look up 'Moomen Chaari' in GoogleThis author has not been identified. Look up 'Wolfgang Ecker' in GoogleThis author has not been identified. Look up 'Thomas Kruse' in GoogleThis author has not been identified. Look up 'Cristiano Novello' in Google

runs on WebDSL