Algebraic Approach to Arithmetic Design Verification - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Algebraic Approach to Arithmetic Design Verification

André Rossi
Maciej Ciesielski
  • Fonction : Auteur
  • PersonId : 918025

Domaines

Electronique
Fichier non déposé

Dates et versions

hal-00662598 , version 1 (24-01-2012)

Identifiants

  • HAL Id : hal-00662598 , version 1

Citer

Mohamed Abdul Basith, Tariq Ahmad, André Rossi, Maciej Ciesielski. Algebraic Approach to Arithmetic Design Verification. Proceedings of Formal Methods in Computer Aided Design, 2011, Austin, Texas, United States. pp.67-71. ⟨hal-00662598⟩
65 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More