【视频】基于SkyEye仿真C6713处理器

本视频展示了基于SkyEye天目全数字实时仿真软件仿真C6713处理器，并运行工程用例进行故障注入的过程。

首先开发人员可以通过在SkyEye-gp（图形化建模界面）中拖拽搭建仿真模型（包含处理器核心C67X_Core、内存RAM、串口Uart等）。

完成目标系统模型的搭建后，开发人员可以利用SkyEye系统调试中的故障注入功能，灵活对任意硬件注入任意故障，同时还能够基于符号执行技术，将硬件符号化，准确注入能够影响硬件行为的故障。通过大量故障注入，开发人员可以在不修改硬件参数的前提下反复测试，无需担心硬件损毁，测试更加灵活方便，并提前规避非预期意外对系统产生的影响和可能造成的严重后果。