International Association of Science and Technology for Development (IASTED);
Formal verification; Equivalence checking; Loop optimization; C program; Inductive verification;
机译:没有给定映射信息的系统级和RTL描述之间的形式等效检查
机译:没有给定映射信息的系统级和RTL描述之间的形式等效检查
机译:多点左心室起搏提高了对心脏重新同步治疗的反应,没有压力量环优化:两种不同编程策略的长期疗效比较
机译:在没有展开的情况下C程序中循环优化检查的正式等价
机译:教堂中基于模展开的仿射循环优化
机译:免疫检查点的分子动力学编程细胞死亡蛋白IPD-1:BC环的构象变化在配体PD-L1和单克隆抗体Nivolumab的结合时
机译:Nuprl中使用计算等价和部分类型的形式程序优化