Formal analysis of hardware requirements

Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti. Formal analysis of hardware requirements. In Ellen Sentovich, editor, Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006. pages 821-826, ACM, 2006. [doi]

Abstract

Abstract is missing.