Gamma( general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具 .P.Fradet等人提出结构化 Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析 .在摒弃了基于“地址”...Gamma( general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具 .P.Fradet等人提出结构化 Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析 .在摒弃了基于“地址”的定义方式的基础上 ,给出结构化 Gamma的更一般形式的语法、语义描述 ,在两个层次上讨论结构重集 ( structured multiset)的类型 ,并指出 ,这种新模型保持了有关程序的静态类型检测等理论成果 .展开更多
Y98-61351-1095 9906551依据高级形式说明语言在寄存器传送级产生硬件说明语言代码的方法=A method for the generation of HDLcode at the RTL level from a high-level formal specifica-tion language[会,英]/Kountouris,A.A.& W...Y98-61351-1095 9906551依据高级形式说明语言在寄存器传送级产生硬件说明语言代码的方法=A method for the generation of HDLcode at the RTL level from a high-level formal specifica-tion language[会,英]/Kountouris,A.A.& Wolinski,C.//1997 IEEE 40th Midwest Symposium on Circuitsand Systems,Vol.2.—1095～1098(HG)本文研究了依据 SIGNAL 形式说明产生硬件说明语言(HDL)代码的方法,在初始说明阶段,利用了两种变换,产生函数式等效的寄存器传送级 HDL 代码,形式上证明了函数的等效性,该方法允许分量再利用,展开更多
文摘Y98-61351-1095 9906551依据高级形式说明语言在寄存器传送级产生硬件说明语言代码的方法=A method for the generation of HDLcode at the RTL level from a high-level formal specifica-tion language[会,英]/Kountouris,A.A.& Wolinski,C.//1997 IEEE 40th Midwest Symposium on Circuitsand Systems,Vol.2.—1095～1098(HG)本文研究了依据 SIGNAL 形式说明产生硬件说明语言(HDL)代码的方法,在初始说明阶段,利用了两种变换,产生函数式等效的寄存器传送级 HDL 代码,形式上证明了函数的等效性,该方法允许分量再利用,
