基于可执行规约的红外热像仪设计方法

摘要

基于可执行规约的红外热像仪设计方法。本方法提出了高速通道的“三层设计模型”、“UML模型”和“Petri网模型”，以及红外热像仪的设计方法学。其中，三层设计模型为SoC设计提供系统结构框架：顶层模块界定各模块功能及接口信号，第二层指出功能构件状态转换路径，第三层就是上述设计对象的逻辑功能描述和具体实现；UML语义既能够描述PIMs，也适合PSMs中软硬件实现。既具有精确的形式化语义，又具有直观易懂的可视化特点；相比于传统的状态机，Petri网模型能够反映资源流动、时间、数值、并行等属性，为更高级的控制器设计提供支撑。基于上述模型设计方法学给出了高速通道的三层设计结构图、功能构件部署图、状态图模型、活动图模型、控制器Petri网模型及其设计，从而为基于可执行规约设计红外热像仪提供了方法指南。

主权项

一种基于可执行规约的红外热像仪设计方法，其特征在于：采用三层设计模型为SoC设计提供系统结构框架：即采用构架设计、机制设计和详细设计来构建红外热像仪系统；其中第一层接口界定各模块功能及接口信号；第二层内部状态机控制转换路径，为实现模块逻辑功能的核心构件；第三层就是上述逻辑功能的具体实现，采用HDL或其它可执行规约实现；具体包括如下步骤：S1.构建红外热像仪系统三层设计模型；S2.热像仪系统部署图；S3.编解码顶层模块；S4.行场同步顶层模块；S5.数据缓存顶层模块；S6.总线胶合顶层模块；S7.特征数据处理顶层模块；S8.伪彩色输出顶层模块；S9.编解码状态机；S10.行场同步状态机；S11.数据缓存用户逻辑；S12.总线胶合状态机；S13.特征数据处理用户逻辑；S14.伪彩色用户逻辑；S15.编解码状态机HDL设计；S16.行场同步状态机HDL设计；S17.数据缓存用户逻辑实现；S18.总线胶合状态机实现；S19.特征数据处理用户逻辑HDL设计；S20.伪彩色用户逻辑HDL设计；其中，步骤2为第一层设计；步骤3～步骤8为第二层设计；步骤9～步骤20为第三层设计。