课题基金 / 基金详情

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

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
关键词：
Formalverificationanalogcircuitsactive

项目摘要

项目成果

Greenstreet, Mark的其他基金

相似基金

相关文献

中文摘要
翻译
该项目建立在英特尔和不列颠哥伦比亚大学之间正在进行的两个领域合作的基础上。第一个主题，形式验证使用数学技术来确定设计的关键属性，并避免代价高昂的错误。第二是开发新的电路技术，以应对深亚微米设计中的挑战。该项目在有源电感电路的设计和模拟电路设计的形式化方法的演示中将这两个领域结合在一起。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Integrating Numerical Methods into Formal Verification
  • 批准号：
    RGPIN-2014-03926
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.33万
  • 财政年份：
    2018
  • 负责人：
    Greenstreet, Mark
  • 依托单位：
    University of British Columbia
Integrating Numerical Methods into Formal Verification
  • 批准号：
    RGPIN-2014-03926
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.33万
  • 财政年份：
    2017
  • 负责人：
    Greenstreet, Mark
  • 依托单位：
    University of British Columbia
Integrating Numerical Methods into Formal Verification
  • 批准号：
    RGPIN-2014-03926
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.33万
  • 财政年份：
    2016
  • 负责人：
    Greenstreet, Mark
  • 依托单位：
    University of British Columbia
Integrating Numerical Methods into Formal Verification
  • 批准号：
    RGPIN-2014-03926
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.33万
  • 财政年份：
    2015
  • 负责人：
    Greenstreet, Mark
  • 依托单位：
    University of British Columbia
海外基金