high-level testing; verilog; RTL; circuit modeling; logic simulation;
机译:使用高级功能和协议规范模型验证RTL设计的统一顺序等效性检查方法
机译:用于高效设计,实现和测试Android应用程序的高级建模语言
机译:测试用于建模酶反应的高级QM / MM方法:柠檬酸合酶中的乙酰辅酶A去质子化
机译:VRM:用于高级测试的Verilog RTL模型
机译:在Altera MAX Plus II开发环境下,使用Verilog HDL测试基于嵌入式内核的时序电路的实现。
机译:通过分解差分放大器实现具有密度可缩放的有源读出像素的4.8μVrms噪声CMOS微电极阵列
机译:具有嵌入式断言的系统Verilog RTL建模
机译:美国国家航空航天局/拉丁美洲和加勒比海地区31次试验结果对空间穿梭机配置的0.010尺度模型(32-OT)进行了3次试验,以获得在第二阶段操作期间以及在RTLs模式下进行的超音速气动特性(Ia58)