An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems

机译：多媒体软件工程方法：开发集成多媒体和软件产品的系统学科

机译：集成产品设计和可重构制造布局的基于模板的工程方法

机译：多媒体应用的高效系统级功能验证方法

机译：可重构多媒体系统的集成设计与验证方法

机译：用于可重构制造系统的逻辑控制器的分析和设计的形式验证。

机译：使用RF MEMS开关设计分析和验证Ka波段模式可重构贴片天线

机译：可重构多媒体系统的集成设计与验证方法

机译：用于多媒体系统设计的可重构低能量乘法器

机译：设计电路系统，扩展现有方法以评估电路设计的可行性，执行电路设计的可行性评估，完善电路设计的第一决策规则，形成电路设计的第二决策规则的方法电路设计，用于为多个预先设计的电路块组织设计者的经验数据，提高胶粘逻辑分配效率，并在设计块之间分配胶粘的多个逻辑元素，并分配胶粘逻辑以在集成电路设备设计中执行方案，转换特定于电路块的接口，选择电路收集器，设计一种包含使能设备测试以验证a正确操作的设备，并开发行为测试台，项圈接口和接口系统

机译：集成电路系统的设计验证方法和生成用于设计验证的接口模型的方法

机译：基于可重构状态结构的嵌入式多媒体系统设计