RTL Functional Test Generation Using Factored Concolic Execution

RTL Functional Test Generation Using Factored Concolic Execution

This thesis presents a novel concolic testing methodology and CORT, a test generation framework that uses it for high-level functional test generation. The test generation effort is visualized as the systematic unraveling of the control-flow response of the design over multiple (factored) exploratio...

Full description

Bibliographic Details
Main Author: Pinto, Sonal
Other Authors: Electrical and Computer Engineering
Format: Others
Published: Virginia Tech 2017
Subjects:
Functional Test Generation
Control-Flow Response
Concolic Execution
Branch Coverage
System State
Online Access:http://hdl.handle.net/10919/78397

Internet

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

Similar Items