Guiding RTL Test Generation Using Relevant Potential Invariants

Guiding RTL Test Generation Using Relevant Potential Invariants

In this thesis, we propose to use relevant potential invariants in a simulation-based swarmintelligence-based test generation technique to generate relevant test vectors for design validation at the Register Transfer Level (RTL). Providing useful guidance to the test generator for such techniques is...

Full description

Bibliographic Details
Main Author: Khanna, Tania
Other Authors: Electrical and Computer Engineering
Format: Others
Published: Virginia Tech 2018
Subjects:
Ant Colony Optimization
Potential Invariants
Branch Coverage
Verilator
Online Access:http://hdl.handle.net/10919/84483

Internet

http://hdl.handle.net/10919/84483

Similar Items