侵权投诉

一种新型半自动验证流程 SoC连通性的正确性

电子设计 ? 2020-12-22 15:54 ? 次阅读

作者:MarkHandover;AbdelouahabAyari
简介

连通性检查涉及验证器件布线。它相当于问这样一个问题:“设计元素是否被正确装配?”更准确地说,它是在验证设计中的逻辑模块之间的连接是否正确,例如:模块B1上的输出A是否正确连接到模块B2上的输入A''。这常常是很困难的验证任务。设计包含数以千计的导线,这些导线的正确性可能都需要检查,因此要检查的连接数量是一个问题。

调试提出了另一个次要的但常常同样具有挑战性的问题。原因是,虽然采用定向或约束随机方法通过动态测试检查连通性肯定能发现一些连通性错误,但问题只会表现为被测模块内部的功能性问题,而不一定能帮助查明问题连接。使用断言可以在源头捕获设计错误,从而减轻调试问题。但是,所需的检查量仍然可能令人瞠目。

为应对此类挑战,形式验证为我们提供了一种快速、详尽且支持高效调试的解决方案。传统上,芯片级形式验证确实不可行。该方法通常以模块级别为目标,使状态空间的规模保持在适当水平。但是,鉴于连通性检查仅集中在布线上(与模块级别的复杂度相比,布线一般是器件的简单部分),借助一些假设,状态空间可以减小到可管理的规模。这种简化的性质取决于所需检查的类型。

本文首先会概述几种类型的连通性检查,然后详细介绍一种新型半自动验证流程(包括代码)。已有一些MentorGraphics使用该流程来简化连通性检查。该流程基于一个脚本环境,围绕该环境提供了充足的信息以方便用户开始实施新的验证方法。

点对点连通性检查的类型

直接点对点检查

连通性检查的最简单形式是点对点检查——端口A是否连接到端口B?这是就同一层次结构而言的。

例如,如果一个设计有八个模块,所有模块都位于顶层,那么验证只需要检查这八个模块与顶层之间的连接。

在这种情况下,我们只需把八个子模块进行黑盒化处理,而不必对整个器件进行建模。检查不依赖于模块内容,因此无需读取这些模块的HDL。

跨层次结构的直接点对点检查

这在本质上与简单检查方法相似,不过检查的是位于一个层次结构中一个模块上的端口是否在物理上正确连接到位于另一层次结构中的一个模块,或者位于信号源的单个端口是否连接到多个端点。

以对存储器的写使能为例。它可能起源于单个顶层输入管脚,但可以连接到跨许多不同层次位置的许多存储器实例。

现在涉及层次结构,因此无法将上方的模块实例统一进行黑盒化处理。黑盒化处理应该在最高层级上执行,但只能用于那些不在写使能路径上或可能影响写使能连通性的逻辑路径上的模块。尽管更具挑战性并需要一些设计知识,但这种更具选择性的黑盒方法仍然可以显著简化状态空间。

其他类型的检查

验证器件的模块间连通性可能需要进行多种类型的检查。到目前为止,我们仅考虑了点对点检查,即所有条件下A=B,层级可以相同或不同。许多连接都是这种性质的,但也可能需要其他类型的检查。

我们来看几个例子。

条件点对点检查

两点之间的连接可能取决于系统中的其他行为或另一个信号的状态。例如,当验证管脚多路复用时,所选的IO路径将取决于控制信号的值。令情况变得复杂的是,信号的目的地可能是一个相反值,执行检查时可能还需要考虑这一点。

有延迟的点对点

某些情况下需要点对点连接,但传播可能要花费若干周期,而不是立即发生。因此,这就需要完善点对点检查。

无延迟的点对点

这类似于前面所述的简单点对点检查,但有一个重大区别:用户要求检查明确验证不仅A连接到B,而且路径上没有时序逻辑。

构造检查

鉴于需要创建大量检查才能全面检查器件连通性情况,用户如何创建所需的断言?

一种常见方法是使用格式特别编制的电子表格,其中详细说明了应连接的各个点、涉及的路径延迟、反转、条件等。然后,工具或脚本解析电子表格并将其转换为断言语言,例如SystemVerilog断言(SVA)或属性说明语言(PSL)。图1显示了一个带有一些连通性信息的电子表格描述范例。

连通性信息(电子表格描述)

pIYBAF_hozOANtBhAABrTwSTt9s056.png


图1

我们来浏览一下该电子表格。我们指定了两种检查类型:“cond”指条件连接,“connect”指无条件的直接连接。这将允许我们在创建检查器期间创建不同断言类型。“输入1”和“输入2”字段详细列出了设计中要进行连通性检查的起点和终点。“条件”列用于详细说明需要设置什么信号才允许点对点连接为真。“connect”检查没有条件,检查将是直接、无条件的。最后,所有延迟字段都是0,表示所有连接都没有延迟。

一旦电子表格格式固定并填充内容,便可使用适当的工具或脚本来解析电子表格和创建断言,而断言将作为目标送入形式化工具。一种方法是使用通用属性模板,然后在单独的检查器描述中添加每个属性实例的连通性信息。这样就可以将其绑定(使用SystemVerilog的bind结构体)到设计的顶层。

图2显示了两个通用属性模板。

pIYBAF_ho1yAYAjqAAByRgJP1K0518.png

图2

属性cond_p支持条件检查,而connect_p支持直接无条件检查。

此模板文件可以包含许多独特类型的连通性检查,一旦明确便无需用户编辑。该文件不包含任何设计信息,因而与项目无关,可以重复使用。

从电子表格自动创建的源就是检查器详细信息,其中包含模板文件中不同检查的实例,并添加了适当的信号名称。一个例子如图3所示。

o4YBAF_ho2qAR1zfAAB0uYxIwic482.png

图3

其他注意事项

时钟

设计不可避免地包含多个时钟。通过形式验证,未定义的时钟会产生与这些时钟明确相关的设计逻辑和任何断言的抽象。来自抽象域的信号成为形式验证控制点,这可能会导致意外激发。

为了避免工具执行任何抽象,必须定义所有时钟。但是,某些设计有很多10s的时钟,所以这可能很麻烦。

连通性检查常常不验证时钟逻辑,因此定义时钟貌似是不必要的任务。然而,为检查连通性而创建的断言会使用时钟。

理论上讲,用户只需定义那些与断言相关的时钟,以及那些影响断言所检查路径上的时序逻辑的时钟。

不过,鉴于难以识别路径上的时序逻辑,这可能不是一个容易执行的简化操作。

实践中,显式指定和定义设计中的所有时钟可能会更容易。由于连通性检查通常不检查设计的时序行为,或者至多检查连接是否存在延迟(或没有延迟),因此一般可以给所有时钟指定同一频率。这就大大简化了用户为形式工具定义时钟信息的任务。

分阶段测试被测器件可能有多种工作模式,这些模式可能会影响可激活的连通性路径或设计逻辑。测试应确保每种有效模式都得到测试,同时还要充分利用所有设计最小化(即黑盒化处理)的机会——针对具体模式进行配置时可能会有这种机会。

用户还应注意所执行测试的方面,并相应地对测试进行分组以便支持分阶段方法,这样测试环境的设置会更简单。例如,如果存储器连接测试属于一组必须进行的连通性检查,并且所有存储器仅存在于少数几个子模块中,则除这些子模块外的所有设计都可以进行黑盒化处理。这种特定的最小化对于连通性检查的另一个方面(例如检查IP接口或网桥连接)可能是不可行的。其他测试方面可能需要不同的最小化策略,因此可以在测试策略的第二阶段中定义,并在第三阶段和第四阶段中进一步定义设置策略。

详细信息:实施更高效流程的工具

某些MentorGraphics客户使用的方法(比如上面的例子)一般遵循一套通用步骤:首先,声明检查器的一个实例。然后,在适当的字段中添加适当的信号名称。使用QuestaFormal,此方法适用于Verilog、VHDL、混合语言设计和混合语言层次结构。本文是我们努力让其他工程团队能够以最少的工作使用类似验证流程的一部分。在我们的方法中,我们定义了连通性规范电子表格的格式,并且编写了一个脚本来创建SVA或PSL检查器。我们还创建了一组属性模板,以便支持多种类型的连通性检查。该半自动化流程的详细信息(包括代码)说明如下。

为了能够更好地部署这种连通性检查方法,我们基于脚本的新环境允许自动创建各种所需文件。我们开发了一个Perl脚本GenConn.pl,利用它来解析连通性信息的文本文件,创建SVA或PSL检查器,还可以创建QuestaFormal的makefile。为此需要定义连通性数据的格式,然后作为制表符分隔值(TSV)或逗号分隔值(CSV)的文件提供给脚本。

利用形式验证检查SoC连通性的正确性

目前,脚本可以支持和创建七种类型的连通性检查:

■点对点,有或无延迟

■条件点对点,有或无延迟

■互斥信号

■接高电平的信号

■接低电平的信号

要创建这些类型的检查器,用户需要填充连通性规范文件。该文件的格式详见图4。

连通性规范

pIYBAF_ho3qAKkonAAByrBGL7CA816.png

图4

“检查器关键字”表示用户希望推断的检查类型,“信号...”和“条件信号”条目是指向要检查连通性的设计信号或端口的层次路径。“延迟值”是时序延迟周期数,须为整数。

例如,假设我们要检查信号top.en到top.u1.u2.enable的连通性,并且该路径上应有两个周期的时序延迟。

图5显示了规范文件中该条目的样子。请注意,对于互斥检查器,虽然表中显示了四个连接,但实际上可以指定任意数量的连接。

o4YBAF_ho4yAIdzgAAAayrsJFdo295.png

图5

除连通性信息外,规范文件还应包括被测设计的名称、时钟的名称以及检查器将使用的复位。无论高电平有效还是低电平有效,都需要提供复位感测。这些信息应按照如下格式指定:

■Design

■Clock<检查器时钟名称>

■Reset<检查器复位名称>

■Reset_sense<低或高>

连通性规范文件需要以TSV或CSV格式传递给脚本。完整TSV格式连通性规范文件的例子如图6所示。

o4YBAF_ho6SAN3DCAAC5axFeZro224.png

图6

一旦以正确格式描述了完整的连通性规范,便可将其传递给脚本以创建检查器。

该脚本可以接受多个参数,如图7所示。

o4YBAF_ho7iALdVRAADQylMr2ZE594.png

图7

默认情况下,预期输入格式为TSV,检查器输出文件(名为“checkers.sv”)将采用SVA格式。不过,用户可以通过指定适当的选项来更改默认行为。

脚本会自动创建输出连通性规范文件。它是TSV或CSV规范输入的副本,但每个条目都包括所创建检查器的名称。该文件的默认名称为checker_conn_spec,可使用-s开关予以覆盖;扩展名为.tsv或.csv,具体取决于输入文件的格式。

输出文件checkers.sv包含用于构建检查器的所有必要信息。为了简化使用,先前说明的“属性模板”已经固定,并由脚本自动创建。检查器模板本身、检查器实例化和绑定信息都包含在一个检查器文件中。图8(注意下一页仍有代码)显示了SVA风格checkers.sv文件输出的例子。

pIYBAF_ho8iABUXfAAIFhcQHiLU660.png

pIYBAF_ho-yAE0xQAAGAEu58G9U433.png

图8

选择生成的makefile允许用户编译所创建的SVA或PSL检查器文件以用于QuestaFormal,然后运行形式分析。

该makefile名为Makefile_ConnCheck。它有三个条目:

■compile_checkers:编译SVA或PSL

■compile_formal_model:运行CSL流程以构建形式模型

■run_formal:运行QuestaFormal“证明”流程

还有一个run_all条目,它允许依次执行所有三个步骤。为了运行makefile中的所有步骤,用户需要执行:

make–fMakefile_ConnCheckrun_all

运行形式编译和证明步骤的结果分别放在目录“results/csl”和“results/prove”中。

Makefile_ConnCheck文件具有成功编译和运行QuestaFormal所需的基本条目,但它更多地是作为模板提供,用户在使用之前很可能需要进行编辑。

例如,makefile没有引用形式验证的控制文件(用于定义时钟、设置约束等),因此可能需要创建和指定该文件。

还有一个附加脚本GenDoc.pl。此脚本的作用是将形式结果注释到checker_conn_spec文件上,该文件是自动生成并加注了检查器名称的连通性规范。GenDoc脚本应在获得形式“证明”结果后运行。

该脚本可以接受多个参数,如图9所示。

o4YBAF_ho_mAZvGVAABXAXMFb1k000.png

图9

默认输入和输出文件名为:

■连通性规范输入文件名:checker_conn_spec.tsv

■连通性规范输出文件:conn_spec_results(后缀取决于输入文件格式)

■证明报告文件名:results/prove/0in_prove.rpt

所有这些默认值都可以使用适当的开关予以覆盖。

在“证明”形式运行之后,生成的输出文件会详细说明每个连通性规范条目以及检查器名称和状态,如图10

所示。

o4YBAF_hpAWAMRtnAABqEt79SkQ951.png

图10

下一页上的图11给出了可用于运行完整连通性检查流程的命令示例,图12显示了整个流程。

o4YBAF_hpBaAL7lpAACzTCL6Tsg137.png

图11

pIYBAF_hpCmAayGnAABtLudCUKo110.png

图12

其他应用

连通性检查在许多应用中都很有价值。下面介绍几个例子。

焊盘环检查

复杂器件具有多种配置,SoC中的IO不可避免地会涉及复杂的多路复用焊盘。必须验证所有配置下的焊盘环,检查每种模式下是否都存在正确连接。利用形式技术检查这种连通性会穷尽所有可能性,发现极端情况并带来自动化功能,而仿真技术常常无法做到这一点。

存储器BIST检查

设计常常会包含由内建自测试(BIST)逻辑测试的存储器,其中BIST逻辑是在RTL阶段插入。可能是许多存储器(常常位于不同层级)连接到单个主BIST控制器。

来自BIST控制器的控制信号连接到各种存储器或存储器控制器,这些连接可以是共用的。例如,来自BIST控制器的write_enable可以连接到许多存储器上的write_enable管脚。

形式连通性检查是一种有效替代方法,用户无需编写动态测试来检查存储器BIST连接并在每次更改RTL时重新运行测试。

此外,形式检查还能确保这些存储器/MBIST连接上没有放置时序逻辑,这常常是一个设计要求。

JTAG检查

与MBIST检查类似,设计人员可以在设计中添加JTAG电路,这常常也在RTL阶段进行。JTAG的潜在用途包括:创建对设计的测试访问,启动全扫描检查,或控制MBIST电路。

JTAG逻辑具有固定的规范和多种标准工作模式。连通性检查可用来确保所有正确的设计元素(例如MBIST控制器)都连接到预期的JTAG控制寄存器。

在某些JTAG模式下,边界扫描寄存器形成一条长链。该链的长度由设计团队确定。在连通性规范中将长度指定为延迟周期数,连通性检查便可确保在特定模式下该链的长度是正确的。

结语

本文提供的信息当然是很粗略的。详细记录哪怕是最基本的SoC验证流程,也很容易写上数十页甚至更多。然而,尽管简短,但应该还是有充足的材料来供用户开始制定流程,以实现更有效的连通性检查。

编辑:hfy

收藏 人收藏
分享:

评论

相关推荐

Nordic使能跟踪网关设备新产品的介绍和应用说明

挪威奥斯陆–2021年1月7日 – Nordic Semiconductor宣布总部位于日本东京的科....
的头像 Wildesbeast 发表于 01-09 09:15 ? 87次 阅读
Nordic使能跟踪网关设备新产品的介绍和应用说明

三星最强5G SoC Exynos发布时间

1月8日消息,三星官方推特发布预告片,预告2021年Exynos首场新品发布会将于1月12日举行,届....
的头像 如意 发表于 01-08 09:16 ? 458次 阅读
三星最强5G SoC Exynos发布时间

联睿微电子:低功耗蓝牙SoC的平均电流已达到世界领先水平

2021中国IC风云榜“年度最具成长潜力奖”征集现已启动!入围标准要求为营收500万-1亿元的未上市....
的头像 我快闭嘴 发表于 01-07 16:24 ? 233次 阅读
联睿微电子:低功耗蓝牙SoC的平均电流已达到世界领先水平

芯歌智能:新工业革命的开路先锋

2021中国IC风云榜“年度最具成长潜力奖”征集现已启动!入围标准要求为营收500万-1亿元的未上市....
的头像 我快闭嘴 发表于 01-07 16:14 ? 361次 阅读
芯歌智能:新工业革命的开路先锋

威视芯半导体:填补国内高端电视芯片空白

2021中国IC风云榜“年度新锐公司”征集现已启动!入围标准要求为营收过亿元的未上市、未进入IPO辅....
的头像 我快闭嘴 发表于 01-07 16:06 ? 428次 阅读
威视芯半导体:填补国内高端电视芯片空白

新思科技VCS技术上云,将加速亚马逊SoC的开发与验证

? 新思科技(Synopsys)近日宣布,亚马逊公司旗下云计算服务平台(Amazon Web Ser....
的头像 新思科技 发表于 01-07 11:28 ? 351次 阅读
新思科技VCS技术上云,将加速亚马逊SoC的开发与验证

芯海科技SoC芯片及MCU实现营收增长

1月6日,芯海科技发布业绩预告称,公司预计2020年年度实现归属于母公司所有者的净利润为7,500万....
的头像 我快闭嘴 发表于 01-07 09:18 ? 307次 阅读
芯海科技SoC芯片及MCU实现营收增长

SoC设计中的IP软核与硬核的对比及方案选择

IP核可以两种形式提供给客户:软核和硬核。两种方式都可使客户获得在功能上经过验证的设计。软核也被称为....
发表于 01-07 07:32 ? 54次 阅读
SoC设计中的IP软核与硬核的对比及方案选择

多核心CPU和SoC芯片及其工作原理

前言:现在的CPU或SoC基本都是在单芯片中集成多个CPU核心,形成通常所说的4核、8核或更多核的C....
的头像 中科院半导体所 发表于 01-06 11:35 ? 308次 阅读
多核心CPU和SoC芯片及其工作原理

SoC与5G调制解调器分居的原因是什么

骁龙855外挂X50 5G 调制解调器是否会引起“功耗过大”的担忧成为了不少明年想抢购5G手机用户的关注点,不过这个问题暂时还需要...
发表于 01-06 07:19 ? 0次 阅读
SoC与5G调制解调器分居的原因是什么

解析宁德时代发明的锂离子电池方案

宁德时代发明的锂离子电池包,通过对于正负极材料的创新改进,使得这种锂离子电池在低温,尤其是在低温低S....
的头像 我快闭嘴 发表于 01-04 11:30 ? 1165次 阅读
解析宁德时代发明的锂离子电池方案

低功耗蓝牙 (BLE) 为接触者追踪构建更精确的无线测距解决方案

无线测距可以为自动接触者追踪提供关键的推动作用,以帮助识别和分析 COVID-19 等可通过密切接触....
的头像 物联网评论 发表于 12-31 17:37 ? 0次 阅读
低功耗蓝牙 (BLE) 为接触者追踪构建更精确的无线测距解决方案

富芮坤:专注于数模混合的无线SoC芯片设计与产业化实施

2021中国IC风云榜“年度最具成长潜力奖”征集现已启动!入围标准要求为营收500万-1亿元的未上市....
的头像 我快闭嘴 发表于 12-31 10:03 ? 320次 阅读
富芮坤:专注于数模混合的无线SoC芯片设计与产业化实施

芯片设计厂商炬芯科技科创板IPO获受理

招股书显示,炬芯科技是中国领先的低功耗系统级芯片设计厂商,主营业务为中高端智能音频SoC芯片的研发、....
的头像 我快闭嘴 发表于 12-31 09:55 ? 295次 阅读
芯片设计厂商炬芯科技科创板IPO获受理

STM32WL无线SoC引爆物联网

LoRa?技术,以其远距离、低功耗、多节点、低成本、抗扰特性等诸多特点在物联网应用中已初露锋芒。在一....
的头像 STM32单片机 发表于 12-29 10:09 ? 300次 阅读
STM32WL无线SoC引爆物联网

焊板子继电器的关键功能是怎样的

焊板子继电器具有隔离功能的自动开关组件,广泛应用于遥控、遥测、通信、自动控制、机电一体化和电力电子设....
发表于 12-28 11:32 ? 52次 阅读
焊板子继电器的关键功能是怎样的

如何评估多个竞争的IP内核的特性,并进行选择

另一种在许多软内核中应用的定制化是指令专用,或选择性支持某种特殊指令。例如,一些系统可能需要对扩展协....
发表于 12-28 10:47 ? 146次 阅读
如何评估多个竞争的IP内核的特性,并进行选择

航顺芯片朱莉莉:MCU厂商将实现从芯到云的解决方案

2020年是非同寻常的一年,新冠疫情是全球百年一遇的重大公共卫生危机,也为全球抗疫用品带来了巨大的商....
的头像 Simon观察 发表于 12-25 14:53 ? 545次 阅读
航顺芯片朱莉莉:MCU厂商将实现从芯到云的解决方案

联发科首次夺下智能手机SoC第一

市调机构CounterPoint今天公布了2020年第三季度全球智能手机SoC芯片市场统计报告,联发....
的头像 如意 发表于 12-25 10:16 ? 227次 阅读
联发科首次夺下智能手机SoC第一

歌尔股份与泰矽微签署长期合作框架协议、芯片合作开发协议及采购框架协议

在国际形势错综复杂的大背景下,芯片国产化是国内信息化产业发展的必然趋势。歌尔与泰矽微的此次合作开创了....
的头像 MEMS 发表于 12-23 14:50 ? 379次 阅读
歌尔股份与泰矽微签署长期合作框架协议、芯片合作开发协议及采购框架协议

技术干货|基于数模混合型SoC实现的两线制高精度无源表头方案

随着仪表技术和低功耗技术的发展,两线制无源表的应用越来越广。两线制无源表头在不需要单独电源的情况下,....
发表于 12-22 16:49 ? 442次 阅读
技术干货|基于数模混合型SoC实现的两线制高精度无源表头方案

中科蓝讯推出“讯龙二代”蓝牙SoC芯片

12月17日,中科蓝讯CEO刘助展先生和北京声加科技CEO邱锋海先生联合发布了蓝讯“讯龙二代”蓝牙S....
的头像 我快闭嘴 发表于 12-20 10:14 ? 673次 阅读
中科蓝讯推出“讯龙二代”蓝牙SoC芯片

请问SOC设计包含哪些部分?

SOC设计包含哪些部分?
发表于 12-18 06:15 ? 0次 阅读
请问SOC设计包含哪些部分?

高通推出QCC305x SoC:支持蓝牙LE Audio标准

根据高通官方的消息,今日推出高通QCC305x SoC系列,这款SoC将支持即将发布的蓝牙LE Au....
的头像 璟琰乀 发表于 12-17 15:08 ? 351次 阅读
高通推出QCC305x SoC:支持蓝牙LE Audio标准

大基金二期出手 纳思达子公司艾派克微电子引战投

纳思达12月7日晚间公告,全资子公司艾派克微电子拟以增资扩股及纳思达转让艾派克微电子股权的方式,引入....
发表于 12-17 10:18 ? 358次 阅读
大基金二期出手 纳思达子公司艾派克微电子引战投

SOPC系统设计入门教程的PDF电子书免费下载

在二十世纪九十年代末,可编程逻辑器件(PLD)的复杂度已经能够在单个可编程器件内实现整个系统,完整的....
发表于 12-16 17:22 ? 47次 阅读
SOPC系统设计入门教程的PDF电子书免费下载

基于Cortex-M0的蓝牙SOC芯片及开发系统的介绍

上海巨微集成电路有限公司是一家高可靠,低成本的无线芯片原厂,2014年7月成立于上海张江,在香港和深....
发表于 12-16 15:45 ? 161次 阅读
基于Cortex-M0的蓝牙SOC芯片及开发系统的介绍

华邦1Gb LPDDR3 DRAM助力清微智能最新AI图像处理SoC实现高性能

清微智能最新发布的 TX510 SoC 是一款高度先进的 AI 边缘计算引擎,并已针对 3D 感测、....
发表于 12-16 10:36 ? 367次 阅读
华邦1Gb LPDDR3 DRAM助力清微智能最新AI图像处理SoC实现高性能

RVBoards最新动态 | Perf-V开发板已经成功移植和运行平头哥Wujian100平台

Perf-V是RVBoards开源硬件系列面向FPGA用户提供的开发板平台,使用的是 Xilinx ....
发表于 12-15 17:32 ? 453次 阅读
RVBoards最新动态 | Perf-V开发板已经成功移植和运行平头哥Wujian100平台

荣耀获联发科将5G芯片 手机出货量出现下滑

据digitimes报道,业内消息人士称,联发科正在为2021年扩大其5G SoC解决方案奠定基础,....
的头像 21克888 发表于 12-15 10:04 ? 1538次 阅读
荣耀获联发科将5G芯片 手机出货量出现下滑

国资三轮中科院/深圳产业基金/中航数亿元赋能航顺HK32MCU无边界生态

32位MCU/SOC爆发式增长,需求品种复杂多样,32位MCU/SOC企业研发投入和流动资金巨大,尤....
发表于 12-15 09:12 ? 547次 阅读
国资三轮中科院/深圳产业基金/中航数亿元赋能航顺HK32MCU无边界生态

请问外设向soc上报中断应该是脉冲信号还是电平信号?

外设向soc上报中断应该是脉冲信号还是电平信号。 ...
发表于 12-15 06:43 ? 0次 阅读
请问外设向soc上报中断应该是脉冲信号还是电平信号?

歌尔股份与上海泰矽微达成长期合作协议!专用SoC共促TWS耳机发展

在国际形势错综复杂的大背景下,芯片国产化是国内信息化产业发展的必然趋势。歌尔与泰矽微的此次合作开创了....
发表于 12-11 11:19 ? 184次 阅读
歌尔股份与上海泰矽微达成长期合作协议!专用SoC共促TWS耳机发展

歌尔集团和泰矽微签署合作协议,共同开发系列化专用系统级芯片

2020年12月10日,歌尔股份有限公司(以下简称“歌尔”)与上海泰矽微电子有限公司(以下简称“泰矽....
的头像 我快闭嘴 发表于 12-11 11:10 ? 778次 阅读
歌尔集团和泰矽微签署合作协议,共同开发系列化专用系统级芯片

FPGA EP4SGX530 SOC开发板的简介和实验入门教程

对于 530 板来说,电源的设计是至关重要的,由于器件资源规模大, 内核电压 0.9V 需要 14A....
发表于 12-10 08:00 ? 43次 阅读
FPGA EP4SGX530 SOC开发板的简介和实验入门教程

Xlinx UG1046嵌入式设计方法

随着全可编程SoC产品的推出,Xilinx为设计人员提供了一种快速、有效、可靠地构建更智能系统的强大....
发表于 12-09 16:15 ? 60次 阅读
Xlinx UG1046嵌入式设计方法

zynq-7000 SoC产品选型指南

zynq-7000 SoC产品选型指南
发表于 12-09 16:15 ? 63次 阅读
zynq-7000 SoC产品选型指南

使用含有ARM Cortex-A9的Xilinx Zynq-7000 PSoC实现嵌入式处理器

Zynq 的本质特征,是它组合了一个双核ARM Cortex-A9 处理器和一个传统的现场可编程门阵....
发表于 12-09 14:48 ? 110次 阅读
使用含有ARM Cortex-A9的Xilinx Zynq-7000 PSoC实现嵌入式处理器

Zynq-7000 SoC产品规格的概述

Zynq-7000系列基于Xilinx SoC架构。这些单核或双核心的产品集成了这些功能-基于A9的....
发表于 12-09 13:47 ? 80次 阅读
Zynq-7000 SoC产品规格的概述

Zynq-7000Q SoC的数据手册详细概述

国防级Zynq?-7000Q系列基于Xilinx SoC架构。这些产品集成了功能丰富的双核手臂皮质?....
发表于 12-09 13:47 ? 73次 阅读
Zynq-7000Q SoC的数据手册详细概述

移动芯片为何越来越“卷”?

“内卷化”这个略显残酷的名词,已经成为了当代年轻打工人互相调侃的社交密码。而整个行业一旦内卷,却是腥....
的头像 我快闭嘴 发表于 12-07 16:49 ? 552次 阅读
移动芯片为何越来越“卷”?

英特尔计划将部分SoC生产外包给台积电

据报道,英特尔网站上招聘启事揭示了除Xe-HPG GPUs和Xe-HPC芯片外,台积电还将为英特尔代....
的头像 我快闭嘴 发表于 12-04 15:56 ? 888次 阅读
英特尔计划将部分SoC生产外包给台积电

如何快速改进SoC设计工艺?

后摩尔定律时代 SoC设计何去何从?
发表于 12-04 06:29 ? 0次 阅读
如何快速改进SoC设计工艺?

高通骁龙7系列SoC将在明年Q1发布

在本月举行的骁龙技术峰会上,高通推出了年度旗舰处理器骁龙888。
的头像 如意 发表于 12-03 16:17 ? 310次 阅读
高通骁龙7系列SoC将在明年Q1发布

卢伟冰强调小米11将全球首发高通骁龙888

昨晚(12月1日),高通正式发布了新一代5G旗舰SoC骁龙888,5nm工艺、Cortex-X1超大....
的头像 如意 发表于 12-02 09:18 ? 553次 阅读
卢伟冰强调小米11将全球首发高通骁龙888

CEVAWiFi6解决方案的资料介绍

RivieraWaves 802.11ax MAC 及 MODEM IP 已提供授权许可,并广泛集成....
发表于 12-02 02:19 ? 37次 阅读
CEVAWiFi6解决方案的资料介绍

联发科全新SoC跑分曝光:成绩超骁龙865

移动芯片巨头之一联发科曾在天玑700 5G芯片发布会上透露,旗下一款6nm制程工艺的5G芯片即将亮相....
的头像 我快闭嘴 发表于 12-01 12:09 ? 679次 阅读
联发科全新SoC跑分曝光:成绩超骁龙865

曝realme将首发联发科A78加持的新SoC

昨天安兔兔曝光了联发科一颗全新SoC,总成绩突破了62万分,超过了骁龙865。
的头像 如意 发表于 12-01 10:00 ? 289次 阅读
曝realme将首发联发科A78加持的新SoC

曝联发科新SoC跑分已超高通骁龙865

今天,安兔兔曝光了一颗全新的联发科5G SoC。
的头像 如意 发表于 11-30 17:07 ? 551次 阅读
曝联发科新SoC跑分已超高通骁龙865

Google并没有通应用兼容性检测来封杀麒麟SoC

日前有国外网友发帖称,Google如果检测到采用麒麟处理器的华为设备,就会禁止在上边安装Google....
的头像 Les 发表于 11-30 09:13 ? 605次 阅读
Google并没有通应用兼容性检测来封杀麒麟SoC

怎么样设计大容量蓄电池SOH和SOC的检测系统的论文详细说明

为实现蓄电池健康状态(SOH)及容量状态(SOC)的准确在线估算,以“精确检测蓄电池内阻+同步检测蓄....
发表于 11-30 08:00 ? 146次 阅读
怎么样设计大容量蓄电池SOH和SOC的检测系统的论文详细说明

华为高管回应高通解禁4G芯片

近日有消息称,高通将恢复华为4G芯片供应。华为消费者业务云服务总裁张平安接受媒体采访时表示:“我们看....
的头像 我快闭嘴 发表于 11-27 10:32 ? 2222次 阅读
华为高管回应高通解禁4G芯片

绝对禁止安装!Google封杀麒麟SOC安装应用

Google早已不再对华为提供安卓系统和生态的授权,而华为正在大力推行自己的HHMS生态,号称在规模....
的头像 如意 发表于 11-27 09:29 ? 4869次 阅读
绝对禁止安装!Google封杀麒麟SOC安装应用

直流和交流伺服电机

因为,伺服电机本身具备发出脉冲的功能,所以伺服电机每旋转一个角度,都会发出对应数量的脉冲,这样,和伺....
的头像 电机技术及应用 发表于 11-26 10:31 ? 431次 阅读
直流和交流伺服电机

ULV制程催生下世代物联网SoC功耗降十倍

ULV制程催生下世代物联网SoC功耗降十倍是真的吗?...
发表于 11-24 07:23 ? 0次 阅读
ULV制程催生下世代物联网SoC功耗降十倍

Altera开发板NiosII系统,请问以下代码应该怎么修改?

Altera DE2开发板,NiosII系统,软件代码如下: 实现的功能是二进制计算器,由很多个拨码开关组成每一位的操作。 [cod...
发表于 11-22 20:17 ? 606次 阅读
Altera开发板NiosII系统,请问以下代码应该怎么修改?

如何使用Die-to-Die PHY IP 对系统级封装 (SiP) 进行高效的量产测试?

半导体行业面临的一个主要挑战是无法在量产阶段早期发现产品缺陷。如果将有缺陷的产品投放市场,将会给企业带来巨大的经济和声誉...
发表于 10-25 15:34 ? 404次 阅读
如何使用Die-to-Die PHY IP 对系统级封装 (SiP) 进行高效的量产测试?

灵动微课堂 (第136讲) 基于MM32 MCU的OS移植与应用——RT-Thread 电源管理

简介 随着物联网(IoT)的兴起,产品对功耗的需求越来越强烈。作为数据采集的传感器节点通常需要在电池供电时长期工作,而作为联...
发表于 09-11 18:02 ? 303次 阅读
灵动微课堂 (第136讲) 基于MM32 MCU的OS移植与应用——RT-Thread 电源管理

新品速递 #9 无需电池的Bluetooth 5 SoC

M3 Bluetooth 5 SoC平台提供了业界首个完全符合标准的无电池Bluetooth 5解决方案,并具有多源能量收集技术。为了减少IoT...
发表于 09-03 16:29 ? 457次 阅读
新品速递 #9 无需电池的Bluetooth 5 SoC

电池组SOC

电池组SOC 对于电池组目前电量计实现方法主要有TI的阻抗跟踪、电流积分的库伦计、卡曼滤波、估算的开路电压法,哪个对BM...
发表于 08-26 10:59 ? 202次 阅读
电池组SOC
电竞竞猜-电子竞技外围网-注册送28的电竞平台-推荐官网