Verification of regular architectures using ALPHA: a case study - Université de Bretagne Occidentale
Conference Papers Year : 1994

Verification of regular architectures using ALPHA: a case study

C. Dezan
Université de Brest
CV
P. Quinton
  • Function : Author
ARCHITECTURE

Domains

Hardware Architecture [cs.AR] Distributed, Parallel, and Cluster Computing [cs.DC]

Catherine Dezan  : Connect in order to contact the contributor

https://hal.univ-brest.fr/hal-01862756

Submitted on : Monday, August 27, 2018-4:45:23 PM

Last modification on : Tuesday, August 27, 2024-12:49:16 PM

Consult the full text

Dates and versions

hal-01862756 , version 1 (27-08-2018)

Identifiers

Cite

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM
56 View
0 Download

Altmetric

Share

More