完善资料让更多小伙伴认识你,还能领取20积分哦, 立即完善>

3天内不再提示
开源硬件系列13期:定理证明在芯片设计验证中的应用
DatenLord
北京达坦科技有限公司
+ 关注
时间  ( 星期三 )    10月18日19:00
...
1.7万
在招职位抢先看

简介

750_375.jpg


直播内容:

本报告先简要介绍介绍用于芯片验证的定理证明技术的发展历程和情况综述


直播大纲:

1)基于定理证明的硬件形式验证的发展历史

2)函数式硬件设计语言发展历史

3)定理证明和函数式语言硬件应用最新发展


分享嘉宾:陈钢 南京航空航天大学计算机科学与技术学院教授

陈钢,男,博士,教授,国家特聘专家。中国计算机学会杰出会员。1982年获浙大数学系计算数学专业本科学位,1984年获北京大学计算机系理论计算机专业人工智能方向硕士学位,1998年获巴黎第七大学计算机系理论计算机专业类型理论方向博士。研究兴趣:EDA,形式化工程数学,飞行控制,高阶定理证明器,程序语言,基于模型的开发技术,类型理论,程序验证,硬件形式化验证,CPU自动生成,函数式硬件描述语言,PLC程序测试,加密算法。



特邀主持:赖晓铮,华南理工大学计算机学院副教授,CCF会员


社群人满,请添加小助手邀请(微信号:elecfanslin),备注:开源硬件



嘉宾介绍

DatenLord

北京达坦科技有限公司DatenLord,专注打造新一代开源跨云存储平台,以满足不同行业客户对海量数据跨云、跨数据中心高性能访问的需求,DatenLord专注底层硬核技术,通过软硬件深度融合的方式,涉及分布式系统、Linux内核、InfiniBand/RDMA、FPGA、SoC、嵌入式等多个底层技术领域。

直播提问

电子发烧友网

关注电子发烧友微信公众号,即时收听电子行业动态,抢先知晓半导体行业发生的最新事件。

温馨提示

  • • 直播结束后24小时内可回放,报名成功若错过直播可观看录播视频。
  • • 其他问题可联系客服:users@huaqiu.com。
  • 声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容图片侵权或者其他问题,请联系本站作侵删。 侵权投诉
    开源硬件系列13期:定理证明在芯片设计验证中的应用
      微信扫码支付

    报名成功

    召集其他小伙伴一起参加吧!

    开源硬件系列13期:定理证明在芯片设计验证中的应用

    DatenLord|北京达坦科技有限公司
    10-18 19:00

    仅报名用户可向嘉宾提问

    选择优惠券

    直播赠礼已包装好,快赠送给好友吧!

    请在【我的赠礼】查看领取情况
    填写报名信息
    开源硬件系列13期:定理证明在芯片设计验证中的应用

    DatenLord   北京达坦科技有限公司