退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN206921077U
专利类型实用新型
公开/公告日2018-01-23
原文格式PDF
申请/专利权人 北京同方微电子有限公司;
申请/专利号CN201720577673.2
发明设计人 侯书珺;陈杨;张倩;张召旭;乔瑛;丁义民;
申请日2017-05-23
分类号
代理机构
代理人
地址 100083 北京市海淀区五道口王庄路1号同方科技广场D座西楼18层
入库时间 2022-08-22 03:45:58
法律状态公告日
法律状态信息
法律状态
2018-01-23
授权
机译: 验证工具,用于自动生成图形模型的基于文本的表示形式
机译: 基于人工智能级模型验证的基于人工智能类模型验证的编码课程的方法,装置和计算机程序
机译:使用UVM寄存器模型的NPPS安全等级控制器的功能验证
机译:一种基于多层转换从UML 2序列图中验证自动生成Buechi自动机的技术
机译:基于结合到UVM环境中的SVA进行FPGA验证的易失性寄存器处理
机译:验证基于SDL的体系结构设计模型:自动生成测试和新的覆盖标准
机译:一种验证的基于寄存器的算法以鉴定丹麦诊断患有恶性黑素瘤复发的患者
机译:summitView 1.0:自动生成基于表面微加工的mEms设计的3D实体模型的代码