Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 10 of 10 for “"Coverage metric"”.
-
Coverage-directed validation of hardware models
… measure the degree of verification coverage of the design. Simulation-based validation has suffered from a disconnect between the metrics used to measure the coverage of a set of simulation vectors and the vector generation process. This disconnect has resulted in the simulation of …
-
Refinement of the Computational Vaccine Optimization Framework (OptiVax) through the development and analysis of a better algorithm for vaccine design choice
We present the maximum 𝑛-times coverage objective function from a mathematical perspective. Its goal is to select a set number of overlays to maximize a population coverage metric. We formulate two novel algorithms to solve the problem: NTimesILP and WeightSum and compare them to each other and to …
-
Exploring Hybrid Dynamic and Static Techniques for Software Verification
… a new simulation-based internal variable range coverage metric is proposed with the goal of enhancing the error detection capability of the generated test data when applied as the target metric. For software model checking, we utilize various dynamic analysis methods, such as data mining, swarm …
-
Coverage problems in mobile sensing
… communication, motion and computation. The term coverage is applied to the central question of how well a sensor-network senses some phenomenon to make inferences. More formally, a coverage problem involves finding an arrangement of sensors that optimizes a coverage metric. In this thesis we …
-
Dynamic Algorithm for Target Inventory and the Impact on Replenishment Strategy
… this through optimally setting the days of coverage for every item in every store on a given day based on a number of features. Traditional approaches rely on the base stock model for calculating cycle stock using the demand forecast and safety stock using the demand variability combined …
-
Test analysis & fault simulation of microfluidic systems
… has been developed to allow a probabilistic metric for each test applied for a given fault condition, providing a quantitive assessment of each test. These metrics are used to analyse the sensitivity of each test method, useful when determining which tests to employ in the final system. …
-
Harmonizing data mining and static analysis to tackle hardware and system level verification
… symbolic state caching method. HYBRO uses branch coverage metric to guide the path exploration. It is a best-effort method that produces excellent coverage for practical designs. Symbolic state caching considers the reachable state space when exploring different paths. It only generates tests for …
-
Metamodeling Driven IP Reuse for System-on-chip Integration and Microprocessor Design
… collaterals such as testbenches, simulators, and coverage monitors can be generated from these models, thereby enhancing reuse in verification.
-
Enhanced Proteomic Methods to Decipher How the Novel Protein SNED1 Modulates the Extracellular Matrix
… not SNED1. To additionally increase the sequence coverage of the ECM proteins, I developed an enhanced proteomic method, called time-lapse tryptic digestion, in collaboration with Dr. Yu Gao’s lab. With multiple timepoints of the method, we achieved an improved sequence coverage metric, which …
-
Increasing Branch Coverage with Dual Metric RTL Test Generation
… test generation method that makes use of two coverage metrics, Branch Coverage, and Mutation Coverage across two stages, to cover hard-to-reach points previously unreached. We start with a preprocessing stage by converting the RTL source to a C++ equivalent using a modified Verilator, which …