Formal verification of analog circuits and active inductors for deep-submicron design

用于深亚微米设计的模拟电路和有源电感器的形式验证

• 批准号: 356905-2007
• 负责人: Greenstreet, Mark
• 金额: $ 1.61万
• 依托单位: University of British Columbia
• 依托单位国家: 加拿大
• 项目类别: Collaborative Research and Development Grants
• 财政年份: 2010
• 资助国家: 加拿大
• 起止时间: 2010-01-01 至 2011-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=459827
• 关键词: Formal; verification; analog; circuits; active

This project builds upon two areas of ongoing collaboration between Intel and the University of British Columbia. The first topic, formal verification uses mathematical techniques to establish critical properties of designs and avoid costly errors. The second is the development of novel circuit techniques to address challenges in deep-submicron design. This project brings these two areas together in the design of active-inductor circuits and the demonstration of formal methods for analog circuit design.

该项目建立在英特尔和不列颠哥伦比亚省大学之间正在进行的两个合作领域之上。第一个主题，形式验证使用数学技术来建立设计的关键属性，并避免代价高昂的错误。第二个是新的电路技术的发展，以解决深亚微米设计的挑战。这个项目将这两个领域结合在一起，设计有源电感电路和演示模拟电路设计的正式方法。