DT
2000
13 years 4 months ago
2000
Research on practical design verification techniques has long been impeded by the lack of published and yet detailed error data. Over the last few years we have systematically coll...