课题基金 / 基金详情

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
海外基金