Skip to Main content Skip to Navigation
Conference papers

Verification of regular architectures using ALPHA: a case study

Complete list of metadatas

https://hal.univ-brest.fr/hal-01862756
Contributor : Catherine Dezan <>
Submitted on : Monday, August 27, 2018 - 4:45:23 PM
Last modification on : Thursday, February 27, 2020 - 1:09:30 AM

Links full text

Identifiers

Citation

C. Dezan, P. Quinton. Verification of regular architectures using ALPHA: a case study. IEEE International Conference on Application Specific Array Processors (ASAP'94), Aug 1994, San Francisco, France. ⟨10.1109/ASAP.1994.331806⟩. ⟨hal-01862756⟩

Share

Metrics

Record views

115