在美商天龙图书网搜索“原芯” 共有 2 种商品

最近浏览的商品

请选择排序方式：类别版别出版年月↓ 折扣↓ 定价↓

芯片形式化验证原理方法与实战/集成电路技术丛书
所属分类：电子电脑>>电工无线电自动化>>无线电电子.电讯作者：编者:王亮//谭永亮|责编:朱劼//王荣出版社：机械工业
丛书项：集成电路技术丛书
内容简介本书系统介绍了形式化验证的概念和原理，并通过丰富的实例生动展示了形式化验证所需的TCL和SVA语言语法规则，同时揭示了其在商业上的潜在价值和广阔前景。书中以目前广泛采用的RISC-V架构为例，借助新思科技的VC Formal形式化验证工具，深入浅出地讲解了各种形式化验证应用的流程、使用方法以及常见陷阱，为读者提供了从基础知识到高级应用的学习途径。本书包括三个部分： - 基础篇（第1~6章），主要介绍形式化验证的工具、语言和设计； - 实战篇（第7~13章），主要展示相关工具的使用方法、常见问题以及对应的解决方案； - 进阶篇（第14~17章），主要探讨简化、签核和加速等关键形式化验证技术。本书不仅适合芯片设计和开发领域的从业人员快速入门和实践形式化验证，也可以作为电子工程等相关专业的教学参考书。
人民币：RMB 99.00 元售价：NT$ 396.00 元

OpenHarmony嵌入式系统原理与应用(基于RK2206芯片微课视频版)/信息技术应用创新丛书
所属分类：电子电脑>>电工无线电自动化>>无线电电子.电讯作者：编者:薛小铃|责编:刘星//李晔出版社：清华大学
丛书项：信息技术应用创新丛书
本书以物联网应用为切入点，以瑞芯微RK2206芯片为核心控制器，详细讲解了OpenHarmony（开源鸿蒙）轻量级操作系统的原理与开发过程。本书基于已经通过开放原子开源基金会 XTS认证的小凌派RK2206 开发套件，书中所有的电路、程序和开发实例均在开发套件上调试和验证通过。本书主要内容：小凌派- RK2206硬件快速入门， OpenHarmony软件快速入门；OpenHarmony移植，内核基础应用；基础外设应用，物联网应用；网络基础知识，物联网协议，畅游华为云。书中案例丰富，讲解由浅入深，有助于读者从原理到工具搭建再到开发设计系统地学习OpenHarmony 操作系统。本书可作为计算机类、电子类、电气类、自动化类等专业的嵌入式系统课程和实践教学、嵌入式系统开发、物联网设备开发、 OpenHarmony学习、学生课外科技创新和毕业设计等的教材或参考书，同时也可供对OpenHarmony感兴趣的推动者、从业者和潜在参与者参考。
人民币：RMB 79.00 元售价：NT$ 316.00 元

共有2个搜索结果共有1页
第一页
上一页
下一页
最后页
转到第
页

Δ订单支付
付款方式
运费计算方式

Δ关于我们
关于美商天龙
联络我们

首页│ 新手上路│ 客服中心│ 关于我们│ 人才邀请│ 联络我们│ Top↑│
Copyrightc 1999~2008 美商天龙国际图书股份有限公司台湾分公司. All rights reserved.
营业地址:台北市中正区重庆南路一段103号1F 105号1F-2F
读者服务部电话：02-2381-2033 02-2381-1863　时间：周一～周五 10:00～17:00　服务信箱：bookuu@69book.com

最近浏览的商品

芯片形式化验证原理方法与实战/集成电路技术丛书

OpenHarmony嵌入式系统原理与应用(基于RK2206芯片微课视频版)/信息技术应用创新丛书