Zobrazeno 1 - 5 of 5 pro vyhledávání: '"Krautz, Udo"'
1
Kniha
Gating Aware Error Injection.
Autor: Arbel, Eli, Barak, Erez, Hoppe, Bodo, Koyfman, Shlomit, Krautz, Udo, Moran, Shiri
Publikováno v: Hardware & Software: Verification & Testing (9783319490519); 2016, p34-48, 15p
Zobrazit plný text záznamu
2
Conference
Automatic Verification of Floating Point Units.
Autor: Krautz, Udo, Paruthi, Viresh, Arunagiri, Anand, Kumar, Sujeet, Pujar, Shweta, Babinsky, Tina
Publikováno v: Proceedings of the the 51st Annual Design Automation Conference Design Automation Conference; 6/1/2014, p1-6, 6p
Zobrazit plný text záznamu
3
Conference
Automatic verification of Floating Point Units.
Autor: Krautz, Udo, Paruthi, Viresh, Arunagiri, Anand, Kumar, Sujeet, Pujar, Shweta, Babinsky, Tina
Publikováno v: 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC); 2014, p1-6, 6p
Zobrazit plný text záznamu
4
Conference
Automatic Verification of Floating Point Units.
Autor: Krautz, Udo, Paruthi, Viresh, Arunagiri, Anand, Kumar, Sujeet, Pujar, Shweta, Babinsky, Tina
Publikováno v: DAC: Annual ACM/IEEE Design Automation Conference; 2014, p886-891, 6p
Zobrazit plný text záznamu
5
Conference
Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof.
Autor: Krautz, Udo, Wedler, Markus, Kunz, Wolfgang, Weber, Kai, Jacobi, Christian, Pflanz, Matthias
Publikováno v: Proceedings of the 2008 Asia & South Pacific Design Automation Conference; 1/21/2008, p398-403, 6p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje