...
机译:根据HDL规范自动验证大型电路的实现
机译:扩展突发模式电路的自动综合。 I.(规范和无害实施)
机译:ATPRG:使用HDL-A的自动测试程序生成器,用于诊断模拟/混合信号集成电路
机译:规格格式及容错量子电路验证方法
机译:通过SFG跟踪方法自动对大教堂II电路进行正式形式验证,从晶体管开关级实施到高级行为规范
机译:在Altera MAX Plus II开发环境下,使用Verilog HDL测试基于嵌入式内核的时序电路的实现。
机译:作者矫正:在培养小鼠脑中催产能和血管连接性电路的规范
机译:可变顺序电路状态分配的特征及HDL自动合成。