Logic analysis and optimization with quick identification of invariants through one time frame analysis

Masahiro Fujita. Logic analysis and optimization with quick identification of invariants through one time frame analysis. In 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015. pages 102-107, IEEE, 2015. [doi]

Authors

Masahiro Fujita

This author has not been identified. Look up 'Masahiro Fujita' in Google