...
机译:ASIC验证:将形式验证与基于HDL的课程相集成
Averant Corporation, Hayward, California 94541;
Computer Engineering Department, American University of Sharjah, Sharjah, UAE;
application-specific-integrated-Circuit (ASIC); verilog; formal verification; property specification language (PSL);
机译:将SPICE与TEK LV500 ASIC设计验证系统集成
机译:BPM支持ICS的透视图:利用正式验证的整合到投资服务条款进程中
机译:集成了调试和覆盖率分析的电路的增强形式验证流程
机译:考虑基于HDL的课程数字系统的静态功能验证
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:与TEK LV500 ASIC设计验证系统集成的香料