C. Dezan, Patrice Quinton. Verification of regular architectures using ALPHA: a case study. In International Conference on Application Specific Array Processors, ASAP 1994, Proceedings, San Francisco, CA, USA, 22-24 August, 1994. pages 164-175, IEEE, 1994. [doi]
Abstract is missing.