机译:从高级建模到高效且可信赖的电路
Amer Univ Beirut, Beirut, Lebanon;
Amer Univ Beirut, Beirut, Lebanon;
Univ Illinois, Performabil Engn Res Grp, Urbana, IL USA;
Univ Grenoble Alpes, INRIA, Lab Informat Grenoble, F-38000 Grenoble, France;
Component-based design; Correct-by-construction; FPGA; Verification;
机译:用于基于FPGA的DSP电路的高级功率估计的二进制除法功率模型
机译:集成电路的电热高级建模
机译:用于集成电路高级综合的新的多目标数学模型
机译:流水线电路的高级规范和有效实现
机译:SOI电路设计风格和高级电路建模技术。
机译:基于人工神经网络的传感器调节电路高级建模与仿真工具
机译:从高级建模到高效可靠的电路