形式验证

形式验证技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

形式验证 热门资料

查看全部 500 份 →

图形学消隐实验，*方案1上下旋转，只显示可见面，函数说明：void Project(float X,float Y,float Z) 功能：根据透视或平行投影将三维点进行投影变换 入口参数：float X,float Y,float Z...

2013-12-22 68 形式验证

MiniGUI图形界面实验，包括1.1 MiniGUI for uC/OS-II 移植实验；1.2 MiniGUI 消息处理实验；1.3 对话框应用编程实验；1.4 控件应用编程实验；1.5 自定义控件实验；1.6 简易编辑器实验；1.7 ...

2016-07-08 59 形式验证

该文提出了一种面向宿主机器代码编译的嵌人式软件功能验证方法.该方法从系统行为级验证系统功能，通过建立RTOS软件模拟器，实现嵌入式软件功能及硬件接口设计的快速验证，并以椭圆滤波器为例，阐述如何使用该方法验证嵌入式系统软件和硬件接口功能.

2023-09-12 7 形式验证