Now showing items 1-2 of 2
Mining Multinode Constraints and Complex Boolean Expressions for Sequential Equivalence Checking
(Virginia Tech, 2010-07-30)
Integrated circuit design has progressed significantly over the last few decades. This increasing complexity of hardware systems poses several challenges to the digital hardware verification. Functional verification has ...
Spatio-Temporal Analysis of Urban Data and its Application for Smart Cities
(Virginia Tech, 2017-08-11)
With the advent of smart sensor devices and Internet of Things (IoT) in the rapid urbanizing cities, data is being generated, collected and analyzed to solve urban problems in the areas of transportation, epidemiology, ...