Verification of regular architectures using ALPHA: a case study

C. Dezan; P. Quinton

doi:10.1109/ASAP.1994.331806

Conference Papers Year : 1994

Verification of regular architectures using ALPHA: a case study

(1) , (2)

1
2

C. Dezan

Function : Author
PersonId : 13930
IdHAL : catherine-dezan
ORCID : 0000-0001-8857-6079
IdRef : 158776178

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 : Friday, March 24, 2023-2:53:08 PM

Dates and versions

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

Identifiers

HAL Id : hal-01862756 , version 1
DOI : 10.1109/ASAP.1994.331806

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 INSTITUT-TELECOM EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM

49 View

0 Download

Verification of regular architectures using ALPHA: a case study

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share