Formal Specification and Verification of Hardware: A Comparative Case Study.

Victoria Stavridou, Howard Barringer, David A. Edwards

Browse the full DAC paper archive.