Architectural Exploration in Biomedical Hardware Design Using a Novel Behavioral Synthesis Methodology

机译：减少硬件木马检测成本与建筑合成中隔离成本的设计空间探索

机译：具有全堆栈硬件设计空间探索的基于SNN的推断力的准确和公平评估方法

机译：硬件任务超标量架构的设计空间探索

机译：新型行为综合方法在生物医学硬件设计中的架构探索

机译：I.电子转移配合物的合成及其瞬态动力学行为。二。用于生物医学成像的近红外荧光团的设计和合成。

机译：在生物医学艾滋病毒预防技术使用者中识别风险补偿行为的研究设计：平衡方法的严谨性和研究伦理

机译：基于行为综合的算法级设计空间探索的方法论：DCT案例研究

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

机译：高级综合期间优化的硬件木马可检测/安全数据路径的设计空间探索

机译：根据硬件设计的语言表示自动制定设计验证检查，以验证硬件设计的预期行为