基于程序代数的硬件编译器设计方法

摘要

本发明公开了一种基于程序代数的硬件编译器设计方法，采用相同的语义形式化方法来定义不同的规范，具体步骤如下：首先，根据资源模型对每条程序进行运算资源预编译，使转化后的程序不违反资源限制；根据硬件编译子句对上面所述步骤转换后的程序进行硬件编译，生成各功能模块的硬件范式；连接各功能模块硬件范式成为能满足系统硬件部分功能的硬件网表；根据厂商提供的网表文件格式，将硬件范式映射为相应的网表文件。它能实现正确性可证明地将系统级描述语言编译为底层芯片的网表，并将资源信息引入不同层次的描述语言中，建立有资源的程序模型。本发明可用于嵌入式实时系统开发设计。