 |
Conference papers
Verification of regular architectures using ALPHA: a case study
C. Dezan 1
Mail :
Author IdHAL : catherine-dezan
P. Quinton 2
Author
1
UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
2
IRISA-D3 - ARCHITECTURE (France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
- CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -
Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -
Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
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
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
- HAL Id : hal-01862756, version 1
- DOI : 10.1109/ASAP.1994.331806
Collections
UNIV-BREST | CNRS | UNIV-RENNES1 | IRISA | INRIA | UR1-UFR-ISTIC | UNIV-RENNES | INSA-GROUPE | INSTITUT-TELECOM
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⟩
Metrics
Record views
