Travelled to:1 × Germany
Collaborated with:D.W.Matula
Talks about:testbench (1) algorithm (1) standard (1) travers (1) generat (1) formal (1) effici (1) verif (1) point (1) model (1)
Person: Lee D. McFearin
DBLP: McFearin:Lee_D=
Contributed to:
2006Wrote 1 papers:
- DATE-2006-MatulaM #algorithm #float #formal method #generative #performance #standard #traversal #verification
- A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division (DWM, LDM), pp. 1134–1138.