organizations, increased complexity of products, shortened development cycles, and higher customer expectations of quality have placed a major responsibility on the areas of software debugging, testing, and verification. As this issue of the IBM Sys
Large scale ad hoc networks such as Wireless Sensor Networks are more and more deployed to ensure critical missions (such as forest fire detection, intrusion detection, etc). Critical applications require timeliness and reliability because hu- man l
一篇很好的，关于ASIC验证的文章 ABSTRACT. To succeed, today's ASICs must have a comprehensive verification plan. A detailed document that spells out how to attack the overall task of verification is necessary. This paper details how to jump-start the creation and
Since components are the major building blocks for component-based systems, developing high quality components is becoming very critical in component-based software engineering. To generate high quality components, we must pay attention to component
