作者：刘帘曦

关键词：Verilog-A ; 高层次行为模型 ; 中点会合 ; VRM9.0 ; Buck转换器 ; 同步整流 ; 双通道 ; 温度补偿 ; 电流平衡 ; “打嗝”模式

论文级别：博士

学位年度：2006

作者：杨志

关键词：形式验证 ; 模型检验 ; 等价验证 ; 层次化 ; 多项式符号代数

论文级别：博士

学位年度：2009

作者：李娅妮

关键词：功率因数校正 ; 单周期 ; 双环控制 ; 高层次模型 ; 临界导通模式 ; 变频控制

论文级别：博士

学位年度：2010

作者：黄盈

关键词：系统芯片 ; 统一验证方法 ; 验证 ; 复用 ; 多级复用的验证模型

论文级别：硕士

学位年度：2007

作者：台立钢

关键词：产品创新设计 ; 产品方案设计 ; 产品实例种群 ; 产品基因 ; 演化设计

论文级别：博士

学位年度：2008

作者：童建农

关键词：计算微电子学 ; 集成电路 ; 深亚微米/纳米MOSFET ; 玻耳兹曼输运方程 ; 量子输运方程 ; 有限元法 ; 非平衡格林函数方式 ; 微结构半导体输运现象

论文级别：博士

学位年度：2004

作者：蔡卫华

关键词：行为级建模 ; 流水线ADC ; 系统模型 ; 行为级仿真

论文级别：硕士

学位年度：2012

作者：谢丁

关键词：现场可编程门阵列 ; 互连资源 ; 通用互联矩阵 ; 结构评估 ; CAD流程 ; 统计模型 ; 折线

论文级别：博士

学位年度：2011

作者：伍建焜

关键词：网构软件 ; 抽象状态机 ; 构件组装 ; 精化模型 ; 模型验证 ; OSGi ; 智能家庭系统 ; 普适计算 ; 基础模型

论文级别：博士

学位年度：2009

作者：马华

关键词：自顶向下 ; 模拟电路 ; 高层次模型 ; 红外接收器 ; Hammerstein

论文级别：博士

学位年度：2009