陈巨
- 作品数:4 被引量:15H指数:1
- 供职机构:合肥工业大学更多>>
- 相关领域:自动化与计算机技术电子电信电气工程更多>>
- Formality在rtl-gate等价性验证中的应用
- 2006年
- 验证在整个设计流程中一直扮演着重要的角色。高效的验证对于提高产品的质量和缩短设计周期具有重要的意义。但是随着IC设计规模和复杂度的不断增加,如何保证验证的高覆盖率和减少验证的时间,已经成为IC设计的瓶颈。为此需要新的设计方法和EDA软件的支持。在这样一种背景下形式化验证技术显示出了许多优点。本文针对在使用新思公司的Formality工具进行rtl-gate的等价性验证中所遇到的一些问题给出一些解决方案,通过正确的使用这些方法减小了设计者在非设计问题上花费的时间,从而可以使设计者更快地发现设计上的问题。
- 鲁斌王宗宝圣应山陈巨
- 关键词:等价性IC设计EDA软件
- 消费类芯片RC振荡器的分析与设计被引量:15
- 2005年
- 市场竞争的压力使得人们不得不在成本和性能间寻找一个令人满意的折衷。振荡器的选择也是如此,在晶振、环形振荡器和RC振荡器中,RC振荡器具有面积小,成本低,频率可调等优点适合于消费类电子等对频率稳定性要求不高的领域。本文先分析简单的多谐RC振荡器,然后介绍一种性能更优的,基于比较器结构的RC振荡器的设计。并给出了设计中需要注意的问题,以及流片后实际的测量数据。
- 陈巨鲁斌王晓蕾
- 关键词:RC振荡器消费类电子芯片环形振荡器频率稳定性
- 带备用电源切换的LDO线性稳压器设计
- 本论文主要是设计了一款带备用电源供电的线性稳压器,它可以在备用电源和外接电源之间相互切换,输出几乎不产生毛刺,并且具有输出电流大且静态电流小的特点,它适用于手机、MP3、数码相机等手提移动设备的供电模块。
这款...
- 陈巨
- 关键词:LDO线性稳压器备用电源外接电源电路设计
- 文献传递
- 消费类电子产品控制电路单芯片实现
- 王晓蕾高明伦胡永华刘聪张溯曹华锋吴铃铃陈巨鲁斌
- 该项目针对目前市场上消费类电子产品的控制芯片要么采用分离器件方式,要么采用多芯片的解决方案,要么采用单片机(MCU)方式实现的现状,研发出适用于消费类电子产品控制芯片的单芯片(专用ASIC)实现方案,进一步降低成本、提高...
- 关键词:
- 关键词:电子产品控制电路单芯片