商标信息0
专利信息0
软件著作权4
序号 | 软件名称 | 软件简称 | 版本号 | 登记号 | 分类号 | 首次发表日期 | 登记批准日期 |
---|---|---|---|---|---|---|---|
1 | 巨微集成电路形式验证引擎SAT Solver软件 V1.0 [简称: 巨微SAT Solver] | - | - | 2007SR20184 | 65500-6000 | 2007-09-01 | 2007-12-14 |
2 | 巨微集成电路形式验证引擎BDD软件 V1.0 [简称: 巨微BDD软件] | - | - | 2007SR18598 | 65500-6000 | 2007-07-01 | 2007-11-26 |
3 | 巨微集成电路等价性验证系统 [简称: 巨微EC系统] V1.0 | - | - | 2007SR00744 | 69900-6000 | 2006-11-01 | 2007-01-15 |
4 | 集成电路验证平台“巨微”系统 V1.0 [简称: ChipVeri] | - | - | 2006SR06259 | 66500-9100 | 2006-02-20 | 2006-05-19 |
作品著作权0
网站备案0
邮箱
电话
企业联系方式
关注公众号,免费查看企业全部联系方式
请使用微信扫描二维码关注「满商公司网」
满商公司网
2亿企业免费查
企业信息变动早知道
欢迎登录
没有账户?立即注册
获取验证码
找回密码
返回登录
欢迎登录
返回登录
获取验证码