Effective SAT-based Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity in a Pipelined Processor

Nikolaos Ioannis Deligiannis, Riccardo Cantoro, Tobias Faller, Tobias Paxian, Bernd Becker 0001, Matteo Sonza Reorda. Effective SAT-based Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity in a Pipelined Processor. In 30th IEEE Asian Test Symposium, ATS 2021, Matsuyama, Ehime, Japan, November 22-25, 2021. pages 73-78, IEEE, 2021. [doi]

Authors

Nikolaos Ioannis Deligiannis

This author has not been identified. Look up 'Nikolaos Ioannis Deligiannis' in Google

Riccardo Cantoro

This author has not been identified. Look up 'Riccardo Cantoro' in Google

Tobias Faller

This author has not been identified. Look up 'Tobias Faller' in Google

Tobias Paxian

This author has not been identified. Look up 'Tobias Paxian' in Google

Bernd Becker 0001

This author has not been identified. Look up 'Bernd Becker 0001' in Google

Matteo Sonza Reorda

This author has not been identified. Look up 'Matteo Sonza Reorda' in Google