Mentor Consulting Department 51 Beirut St., Heliopolis, Cairo 11341-Egypt, 11th floor;
test-pattern; test-case; layout; automation; creation; DRC; Tcl; Tcl/Tk; rule writing;
机译:自动生成模式语言验证程序的基于模型的框架
机译:一种加速分布式测试模式生成的方法
机译:加速动态学习以在组合电路中生成测试图案
机译:有关使用STPRL加速物理验证的更多信息:一种用于测试模式生成的新型语言
机译:使用加速路面测试验证沥青混合料永久变形的机械预测模型。
机译:基于知识的基于知识编程模式的验证受到资源受限嵌入式设备的自然语言的启发
机译:4.1处理器验证的测试生成语言的工业经验
机译:NRL协议分析器中的语言生成和验证。