MULTITHREADING BASED ACCELERATION FOR SMT SOLVER IN RTL VERIFICATION
The first part of the proposed method presents how to accelerate input test sequence generation to justify a given output sequence on observable points. A satisfiability module theory (SMT) solver generates the test pattern sequence using the time-frame expansion method. The contribution of the prop...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
OpenSIUC
2019
|
| Online Access: | https://opensiuc.lib.siu.edu/theses/2627 https://opensiuc.lib.siu.edu/cgi/viewcontent.cgi?article=3642&context=theses |