机译:使用机器学习的系统级和RTL描述之间的基于路径的等价检查方法
Natl Univ Def Technol Res Inst 63 Nanjing 210000 Peoples R China;
Natl Univ Def Technol Res Inst 63 Nanjing 210000 Peoples R China;
Natl Univ Def Technol Coll Meteorol & Oceanog Nanjing 211101 Peoples R China;
Natl Univ Def Technol Coll Comp Changsha 410000 Peoples R China;
Natl Univ Def Technol Res Inst 63 Nanjing 210000 Peoples R China;
Natl Univ Def Technol Res Inst 63 Nanjing 210000 Peoples R China;
Natl Univ Def Technol Res Inst 63 Nanjing 210000 Peoples R China;
Natl Univ Def Technol Res Inst 63 Nanjing 210000 Peoples R China;
Natl Univ Def Technol Res Inst 63 Nanjing 210000 Peoples R China;
Equivalence checking; finite state machine with datapath; machine learning; system level modeling; formal verification;
机译:没有给定映射信息的系统级和RTL描述之间的形式等效检查
机译:没有给定映射信息的系统级和RTL描述之间的形式等效检查
机译:系统级别和RTL描述之间的顺序等效检查
机译:2D分解系统级和RTL描述的顺序等效检查
机译:使用人工免疫系统和高级行为分类检测RTL木马
机译:用于微生物组疾病预测的组成型材分类水平和机器学习方法的系统比较
机译:自动分解,用于系统级和RTL描述的顺序等效检查