Mining constraints for Testing and Verification

With the advances in VLSI and System-On-Chip (SOC) technologies, the complexity of hardware systems has increased manifold. The increasing complexity poses serious challenges to the digital hardware design. Functional verification has become one of the most expensive and time-consuming components of...

Full description

Bibliographic Details
Main Author: Wu, Weixin
Other Authors: Electrical and Computer Engineering
Format: Others
Published: Virginia Tech 2014
Subjects:
SAT
Online Access:http://hdl.handle.net/10919/31056
http://scholar.lib.vt.edu/theses/available/etd-01282009-222714/