A VFSM-based Virtual Platform Verification Methodology for Early Firmware Development of Solid-State Drive

A VFSM-based Virtual Platform Verification Methodology for Early Firmware Development of Solid-State Drive

연구 분야: Verification

학회: 2022 IEEE International Conference on Consumer Electronics-Asia (ICCE-Asia)

Virtual platform (VP) has been used for early software (SW) development to shorten the product release period. Since SW is implemented using virtual hardware (HW) models, which is not real one, the verification methodology is extremely important in order to keep the consistency between them, i.e., the virtual HW and the real one. In this paper, a VP verification methodology based on a virtual finite-state machine (VFSM) is proposed for early firmware (FW) development of solid-state drive (SSD) product. The proposed method reduces the verification cost compared to existing methods. Thus, it contributes securing the consistency of SSD VP, following up achieving the stability of SSD product through shift-lefting the FW development.