本文给出一个基于代数变换的脉动阵列的自动综合系统,它能自动地将用FP 描述的并行算法程序变换成脉动算法的形式描述。这与以往的人为地借助于FP代数进行脉动阵列设计的ad hoc 的讨论不同.为了便于描写并行算法,首先扩充了原来的FP,引...本文给出一个基于代数变换的脉动阵列的自动综合系统,它能自动地将用FP 描述的并行算法程序变换成脉动算法的形式描述。这与以往的人为地借助于FP代数进行脉动阵列设计的ad hoc 的讨论不同.为了便于描写并行算法,首先扩充了原来的FP,引入了流递归方程和若干高阶算子.同时为了便于全自动的综合,对FP 的递归方程进行了限制,提出了结构递归方程.在此基础上,还给出了一个系统化的且可构造的脉动阵列自动综合的算法,包括递归方程的展开,规整结构的映射和同步机制的实现.展开更多
文摘本文给出一个基于代数变换的脉动阵列的自动综合系统,它能自动地将用FP 描述的并行算法程序变换成脉动算法的形式描述。这与以往的人为地借助于FP代数进行脉动阵列设计的ad hoc 的讨论不同.为了便于描写并行算法,首先扩充了原来的FP,引入了流递归方程和若干高阶算子.同时为了便于全自动的综合,对FP 的递归方程进行了限制,提出了结构递归方程.在此基础上,还给出了一个系统化的且可构造的脉动阵列自动综合的算法,包括递归方程的展开,规整结构的映射和同步机制的实现.