https://hal.inria.fr/inria-00536554
Contributeur : Arnaud Tisserand
<>
Soumis le : mardi 16 novembre 2010 - 14:07:16
Dernière modification le : mercredi 11 avril 2018 - 01:57:06
Arnaud Tisserand. Towards Automatic Accuracy Validation and Optimization of Fixed-Point Hardware Descriptions in SystemC. 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN), Sep 2010, Lyon, France. 2010. 〈inria-00536554〉