Formal Design and Verification of Firmware

固件的形式化设计和验证

基本信息

  • 批准号：
    8408750
  • 负责人：
    Subrata Dasgupta
  • 金额：
    $ 10.27万
  • 依托单位：
    University of Louisiana at Lafayette
  • 依托单位国家：
    美国
  • 项目类别：
    Standard Grant
  • 财政年份：
    1985
  • 资助国家：
    美国
  • 起止时间：
    1985-03-15 至 1987-08-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Subrata Dasgupta其他文献

The use of hoare logic in the verification of horizontal microprograms
Tris(salicylhydroxamato)manganese(III)
  • DOI：
    10.1007/bf00136068
  • 发表时间：
    1993-02-01
  • 期刊：
    TRANSITION METAL CHEMISTRY
  • 影响因子：
    1.700
  • 作者：
    Subrata Dasgupta;Rupendranath Banerjee
  • 通讯作者：
    Rupendranath Banerjee
Questioning Basalla’s question (yet again): The view from cognitive history
Role of leisure activity in quality of life and meaning in life of male and female older adults
休闲活动对男性和女性老年人生活质量和意义的作用
  • DOI：
    10.4103/jgmh.jgmh_44_21
  • 发表时间：
    2022
  • 期刊：
    Journal of Geriatric Mental Health
  • 影响因子：
    0
  • 作者：
    Pooja Mukherjee;Ankita Ghosh;Subrata Dasgupta
  • 通讯作者：
    Subrata Dasgupta
Dietary arginine attenuates hypoxia- induced HIF expression, metabolic responses and oxidative stress in Indian Major Carp, <em>Cirrhinus mrigala</em>
  • DOI：
    10.1016/j.cbpb.2022.110714
  • 发表时间：
    2022-04-01
  • 期刊：
    Research article
  • 影响因子：
  • 作者：
    Tincy Varghese;Subrata Dasgupta;Garima Anand;V.J. Rejish Kumar;Narottam Prasad Sahu;Asim Kumar Pal;Mishal Puthiyottil
  • 通讯作者：
    Mishal Puthiyottil

Subrata Dasgupta的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Subrata Dasgupta', 18)}}的其他基金

The Mathematical Laws of S*M: An Axiomatic Specification Language for Firmware and Architecture Design.
S*M 的数学定律：固件和架构设计的公理化规范语言。
  • 批准号：
    8719492
  • 财政年份：
    1988
  • 资助金额：
    $ 10.27万
  • 项目类别：
    Standard Grant

相似国自然基金

Applications of AI in Market Design
  • 批准号：
  • 批准年份：
    2024
  • 资助金额：
    万元
  • 项目类别：
    外国青年学者研 究基金项目
基于“Design-Build-Test”循环策略的新型紫色杆菌素组合生物合成研究
  • 批准号：
  • 批准年份：
    2021
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
在噪声和约束条件下的unitary design的理论研究
  • 批准号：
    12147123
  • 批准年份：
    2021
  • 资助金额：
    18 万元
  • 项目类别：
    专项基金项目

相似海外基金

FMitF: Track I: Formal Verification for Mechanism Design
FMITF：第一轨：机制设计的形式验证
  • 批准号：
    2319186
  • 财政年份：
    2023
  • 资助金额：
    $ 10.27万
  • 项目类别：
    Standard Grant
Formal Verification in the CIRCT Open-Source Hardware Design Stack
CIRCT 开源硬件设计堆栈中的形式验证
  • 批准号：
    2737542
  • 财政年份：
    2022
  • 资助金额：
    $ 10.27万
  • 项目类别：
    Studentship
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号：
    RGPIN-2015-05607
  • 财政年份：
    2019
  • 资助金额：
    $ 10.27万
  • 项目类别：
    Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号：
    RGPIN-2015-05607
  • 财政年份：
    2018
  • 资助金额：
    $ 10.27万
  • 项目类别：
    Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号：
    RGPIN-2015-05607
  • 财政年份：
    2017
  • 资助金额：
    $ 10.27万
  • 项目类别：
    Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号：
    RGPIN-2015-05607
  • 财政年份：
    2016
  • 资助金额：
    $ 10.27万
  • 项目类别：
    Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号：
    RGPIN-2015-05607
  • 财政年份：
    2015
  • 资助金额：
    $ 10.27万
  • 项目类别：
    Discovery Grants Program - Individual
Formal verification of analog circuits and active inductors for deep-submicron design
用于深亚微米设计的模拟电路和有源电感器的形式验证
  • 批准号：
    356905-2007
  • 财政年份：
    2010
  • 资助金额：
    $ 10.27万
  • 项目类别：
    Collaborative Research and Development Grants
Formal verification of analog circuits and active inductors for deep-submicron design
用于深亚微米设计的模拟电路和有源电感器的形式验证
  • 批准号：
    356905-2007
  • 财政年份：
    2009
  • 资助金额：
    $ 10.27万
  • 项目类别：
    Collaborative Research and Development Grants
Formal methods for the verification and design of modern cryptographic applications
现代密码应用验证和设计的形式化方法
  • 批准号：
    94209379
  • 财政年份：
    2009
  • 资助金额：
    $ 10.27万
  • 项目类别：
    Independent Junior Research Groups
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了