机译:使用基于协同仿真的方法对大整数电路进行功能验证
机译:集成设计验证:数字集成电路的仿真与形式验证相结合
机译:用于混合信号集成电路架构集成的静态验证方法
机译:“ATM在ADSL”集成电路功能验证的仿真方法
机译:使用功能仿真和布尔可满足性对数字电路进行综合和验证。
机译:集成的功能和生物信息学方法用于RNA信号的鉴定和实验验证:在HIV-1 INS中的应用
机译:使用基于宇化的方法的大型整数电路的功能验证
机译:分段线性方法用于串行和并行计算机上VLsI(超大规模集成)电路的定时仿真