Improving Branch Coverage in RTL Circuits with Signal Domain Analysis and Restrictive Symbolic Execution
Considerable research has been directed towards efficient test stimuli generation for Register Transfer Level (RTL) circuits. However, stimuli generation frameworks are still not capable of generating effective stimuli for all circuits. Some of the limiting factors are 1) It is hard to ascertain if...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Published: |
Virginia Tech
2015
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10919/51625 |