Sciweavers

2 search results - page 1 / 1
» Implementation Specific Verification of Divide and Square Ro...
Sort
View
62
Voted
ARITH
2009
IEEE
15 years 4 months ago
Implementation Specific Verification of Divide and Square Root Instructions
Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman...
DAC
2000
ACM
15 years 11 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...