法律状态公告日
法律状态信息
法律状态
2020-06-30
授权
授权
2019-03-05
实质审查的生效 IPC(主分类):G10L15/197 申请日:20161230
实质审查的生效
2019-02-05
公开
公开
机译: 用于硬件验证的编程语言模型生成设备,用于硬件验证的编程语言模型生成方法,计算机系统,硬件仿真方法,控制程序和计算机可读存储介质
机译: 将产品建模语言扩展为用于对产品系列进行建模的语言的方法和装置,以及计算机可读记录介质
机译: 将产品建模语言扩展到用于建模产品族的语言和计算机可读记录介质的方法和装置