Dept. of Electr. & Comput. Eng. Concordia Univ. Montreal QC Canada;
机译:存在噪声和过程变化时模拟电路的统计运行时验证
机译:正式验证线性模拟电路的传递函数
机译:利用边界优化进行模拟电路的半形式验证
机译:在存在噪声和过程变化的情况下对模拟电路进行形式验证
机译:高效,声音正式验证模拟/混合信号电路
机译:评估扫描仪背景噪声对听觉处理的影响。二。 fMRI研究使用稀疏设计比较了在不存在和存在记录的扫描仪噪声的情况下的听觉处理
机译:存在噪声和过程变化时模拟电路的形式验证