high-level synthesis; formal hardware synthesis; compilers; global variables; static variables; pointers; hardware description languages; RTL design;
机译:通过变量寿命的全局优化,对DSP数据路径进行高级综合
机译:在高级综合中使用长度可变的流水线操作的好处
机译:将可变延迟组件集成到高级综合中
机译:从高级编程语言描述进行硬件综合的全局变量本地化和转换
机译:带有全局代码运动的高级综合的形式验证。
机译:放眼全球放眼全球:流行病学家对工具变量估计的看法
机译:从高级编程语言描述全局变量本地化和硬件综合转换
机译:二氟化二氮化学。改进的顺式 - 和反式 - N2F2的合成,N2F + sn2F9的合成和表征高级电子结构计算顺式-N2F2,反式N2F2,F2N = N和N2F +,以及N2F2的反式顺式异构化机理(预印本)