本发明公开了一种基于程序代数的硬件编译器设计方法，采用相同的语义形式化方法来定义不同的规范，具体步骤如下：首先，根据资源模型对每条程序进行运算资源预编译，使转化后的程序不违反资源限制；根据硬件编译子句对上面所述步骤转换后的程序进行硬件编...