Presentation
Development of SystemC-based Security VP for In-House SED SSD Firmware Verification and Application of libFuzzer
DescriptionDue to difficulties in supporting Open Source Project in the Embedded System environment and limitations in applying fuzzing technology, we used SystemC-based full-path SSD VP, but it was not easy to apply due to performance issues and many unnecessary functions for SED verification.
Accordingly, we developed Security VP by removing unnecessary parts and introduced State Machine-based libFuzzer to improve the problem.
As a result, the execution time of Security VP was shortened to 82.5% compared to full-path VP, and code coverage was improved by 15.2%. In particular, the number of commands used to achieve specific coverage was reduced by 98.7%, and the number of commands used to achieve overall coverage was also reduced by 85.4%.
Accordingly, we developed Security VP by removing unnecessary parts and introduced State Machine-based libFuzzer to improve the problem.
As a result, the execution time of Security VP was shortened to 82.5% compared to full-path VP, and code coverage was improved by 15.2%. In particular, the number of commands used to achieve specific coverage was reduced by 98.7%, and the number of commands used to achieve overall coverage was also reduced by 85.4%.
Presenter
Event Type
Engineering Track Poster
TimeTuesday, June 255:00pm - 6:00pm PDT
LocationLevel 2 Exhibit Hall
Back-End Design
Embedded Systems
Front-End Design
IP