基于RVM的I2C总线控制器的验证

机译：I2C主总线控制器公司IP内核的ASIC实现

机译：基于型硅碳化物的基于型价的描述符Si2c3 ??? I [p，吗？q]，si2c3 ??? II [p，Δq]，si2c3 ??? III [p，'q]和sic3 ??? III药物应用中的[p，q]

机译：使用模型检查器验证总线控制器

机译：混合信号I / O IPS的设计和验证：I2C总线控制器

机译：阐明RVM中P物质有助于维持炎症性损伤后疼痛的机制。

机译：基于Mltrp和Rvm的生物医学废物识别与分类算法

机译：I2C总线控制器的设计和建模

机译：基于风险的验证，验证和认可/验收过程的调整（适应性过滤，验证，验证，验证/接受）。

机译：具有自动切换操作模式的I2C总线控制器

机译：基于I2C总线协议的可选接口的方法和装置及I2C系统

机译：I2C总线通信设备，I2C总线通信系统，I2C总线通信方法和I2C总线通信程序