Travelled to:1 × Germany
Collaborated with:L.D.McFearin
Talks about:testbench (1) algorithm (1) standard (1) travers (1) generat (1) formal (1) effici (1) verif (1) point (1) model (1)
Person: David W. Matula
DBLP: Matula:David_W=
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.