Sciweavers

2 search results - page 1 / 1
» Implementation Specific Verification of Divide and Square Ro...
Sort
View
98
Voted
ARITH
2009
IEEE
15 years 10 months ago
Implementation Specific Verification of Divide and Square Root Instructions
Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman...
DAC
2000
ACM
16 years 4 months ago
Formal verification of iterative algorithms in microprocessors
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
Mark Aagaard, Robert B. Jones, Roope Kaivola, Kath...