inria-00536554, version 1

Towards Automatic Accuracy Validation and Optimization of Fixed-Point Hardware Descriptions in SystemC

Arnaud Tisserand () ^a, 1, 2

14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN) (2010)

• a –  CNRS
• 1 :  CAIRN (INRIA - IRISA)
• INRIA – CNRS : UMR6074 – École normale supérieure de Cachan - ENS Cachan – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1
• 2 :  CNRS
• CNRS : UMR00

• Domaine : Informatique/Arithmétique des ordinateurs
  Sciences de l'ingénieur/Micro et nanotechnologies/Microélectronique
• Mots-clés : computer arithmetic – fixed-point arithmetic operator – accuracy – rounding error – integrated circuit – hardware description language

• inria-00536554, version 1
• http://hal.inria.fr/inria-00536554
• oai:hal.inria.fr:inria-00536554
• Contributeur : Arnaud Tisserand <>
• Soumis le : Mardi 16 Novembre 2010, 14:07:16
• Dernière modification le : Mardi 16 Novembre 2010, 14:07:16