|
|||||
|
|
System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation |
|
| Authors: | Hubert Garavel César Viho Massimo Zendri |
| Affiliation: | inria Rh?ne-Alpes, 655 avenue de l’Europe, 38330 Montbonnot St Martin, France E-mail: hubert.garavel@inria.fr, Web: http://www.inrialpes.fr/vasy, FR Irisa/Ifsic Université de Rennes I, Campus de Beaulieu, 35042 Rennes cedex, France E-mail: viho@irisa.fr, Web: http://www.irisa.fr/pampa, FR bull R&D, Via ai Laboratori Olivetti, 20010 Pregnana, Milanese, Italy, now at ST Microelectronics, 5 chemin de la Dhuy 38240 Meylan, France; E-mail: massimo.zendri@st.com, FR |
| Abstract: | |
| Keywords: | : Cache coherency – cc-numa – Code generation – Co-design – Computer architecture – Conformance testing – Co-simulation – Formal methods – Formal specification – Hardware design – lotos – Process algebra – numa – Rapid prototyping – System level design – Test generation – Testing – Validation – Verification |
| 本文献已被 SpringerLink 等数据库收录！ | |