2.1万
简介
直播内容：
逻辑综合是从高级硬件描述语言（HDL）或布尔方程自动生成逻辑电路的过程。近年来，由于人工智能、大数据和物联网（IoT）的兴起，各种应用领域对高效高性能数字电路的需求日益增长，逻辑综合变得越来越重要。直播从学术和开源工具两个角度全面概述了逻辑综合领域的最新进展。
直播大纲：
1、逻辑综合概述，包括设计流程、发展历史、发展趋势、学术和工业工具；布尔代数，包括初级和高级布尔代数。
2、介绍多种逻辑函数的表示方式，包括真值表、积之和、和之积、二元决策图(BDD)以及有向无环图(DAG)的表示方法。
3、介绍逻辑函数的二级逻辑优化和多级逻辑优化。
4、介绍精确逻辑综合(exact synthesis)及其应用，开源逻辑综合工具demo。
分享嘉宾：储著飞 宁波大学教授
教授，博士生导师，宁波大学"包玉刚卓越学者"，浙江省“万人计划”青年拔尖人才，浙江省高校领军人才(青年优秀人才)。研究方向为集成电路设计自动化(EDA)，包括逻辑综合与优化，物理设计，逻辑等价性验证等。主持国家自然科学基金项目3项，省部级项目2项，在开源平台开源了自研的逻辑综合软件ALSO。研究成果获得浙江省技术发明二等奖1次，宁波市科学技术进步奖一等奖2次，CCFDAC最佳论文奖。在IEEE Trans on CAD, VLSI, CAS-II等发表论文50余篇，申请中国发明专利40余项，授权21项。为国际逻辑综合研讨会(IWLS)组委会委员，中国计算机学会高级会员、集成电路设计专委执行委员，EDA开放创新合作机制(EDA2)"数字逻辑设计与验证"分委会主任、标准制定牵头人、技术白皮书领域主编、《逻辑综合与一致性检查工具》工具方向主编，《电子与信息学报》编委。
特邀主持：赖晓铮，华南理工大学计算机学院副教授，CCF会员
社群人满，请添加小助手邀请（微信号：elecfanslin），备注：开源硬件
嘉宾介绍
DatenLord
北京达坦科技有限公司DatenLord，专注打造新一代开源跨云存储平台，以满足不同行业客户对海量数据跨云、跨数据中心高性能访问的需求，DatenLord专注底层硬核技术，通过软硬件深度融合的方式，涉及分布式系统、Linux内核、InfiniBand/RDMA、FPGA、SoC、嵌入式等多个底层技术领域。
直播提问
电子发烧友网
工商网监
