Sciweavers

387 search results - page 7 / 78
» date 2005
Sort
View
DATE
2005
IEEE
94views Hardware» more  DATE 2005»
15 years 3 months ago
Automatic Formal Verification of Fused-Multiply-Add FPUs
Christian Jacobi 0002, Kai Weber, Viresh Paruthi, ...
48
Voted
DATE
2005
IEEE
102views Hardware» more  DATE 2005»
15 years 3 months ago
Optimising Test Sets for a Low Noise Amplifier with a Defect-Oriented Approach
Rabeb Kheriji, V. Danelon, Jean-Louis Carbon&eacut...