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...
Main Author: | Wu, Weixin |
---|---|
Other Authors: | Electrical and Computer Engineering |
Format: | Others |
Published: |
Virginia Tech
2014
|
Subjects: | |
Online Access: | http://hdl.handle.net/10919/31056 http://scholar.lib.vt.edu/theses/available/etd-01282009-222714/ |
Similar Items
-
Exploring Constraint Satisfiability Techniques in Formal Verification
by: Fang, Lei
Published: (2014) -
SAT Compilation for Constraints over Structured Finite Domains
by: Bau, Alexander
Published: (2017) -
SAT-based Verification for Analog and Mixed-signal Circuits
by: Deng, Yue
Published: (2012) -
Crowd Simulation with Arrival Time Constraints
by: Mankyu Sung, et al.
Published: (2020-10-01) -
Efficient constraint-based Sequential Pattern Mining (SPM) algorithm to understand customers’ buying behaviour from time stamp-based sequence dataset
by: Niti Ashish Kumar Desai, et al.
Published: (2015-12-01)