直播内容：

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

直播大纲：

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

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

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

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

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

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

社群人满，请添加小助手邀请（微信号：elecfanslin），备注：开源硬件

讲师介绍

DatenLord

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

关于电子发烧友直播

电子发烧友直播是基于拥有超过634万+注册用户的电子发烧友网直播平台，不定期邀请电子行业大咖进行直播分享，包含ETD（Elecfans Technology Day）和大咖秀两个子栏目，分别于周二和周五进行。电子发烧友直播旨在让工程师更优秀。

参加直播可与嘉宾交流互动，报名成功错过直播可在直播后收看回放，永久有效！

搜索并关注微信公众号“电子发烧友网(ID:elecfans)”，不再错过一切精彩直播！

推荐嘉宾请联系：users@huaqiu.com