Skip to Main content Skip to Navigation
Conference papers

Verification of regular architectures using ALPHA: a case study

C. Dezan 1 P. Quinton 2 
1 UBO - Université de Brest
2 IRISA-D3 - ARCHITECTURE
Document type :
Conference papers
Complete list of metadata
https://hal.univ-brest.fr/hal-01862756
Contributor : Catherine Dezan Connect in order to contact the contributor
Submitted on : Monday, August 27, 2018 - 4:45:23 PM
Last modification on : Friday, August 5, 2022 - 2:54:52 PM

Links full text

openaccess

Identifiers

Collections

UNIV-BREST | INSTITUT-TELECOM | EC-PARIS | UNIV-RENNES1 | CNRS | INRIA | INSA-RENNES | IRISA | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | INSA-GROUPE | UR1-MATH-NUM

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

46