0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

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

3天内不再提示

电子发烧友网>嵌入式技术>嵌入式操作系统>

嵌入式操作系统

电子发烧友网提供的嵌入式操作系统专栏,内容有嵌入式操作系统培圳资料以及应用知识等;是您学习嵌入式操作系统的好栏目。
Formal Verification (二) FPV、APPs介绍

Formal Verification (二) FPV、APPs介绍

FPV对不同的SVA Property,调用合适的算法engine进行建模,依据算法模型从初始状态Reset state对DUT所有的input自动施加激励,随着cycle的depth增加,逐渐穷尽状态空间。...

2023-08-28 标签:处理器逻辑电路SVADUTFPV 1496

如何查看linux程序共享库呢?

如何查看linux程序共享库呢?

在linux系统中,程序通常需要依赖于外部库来正常工作。这些库可以直接编译到程序中,也可以从共享库池中加载。...

2023-08-28 标签:嵌入式Linux系统ELF文件Bash 1250

VLAN通信基础细节详解

VLAN通信基础细节详解

一般不同VLAN之间是无法通信的,如果想要通信需要借助三层设备实现,当然,VLAN标签技术也能实现不同VLAN之间的通信。...

2023-08-27 标签:以太网交换机路由器VLAN技术VLAN通信 1940

如何使用display提高debug效率呢?

如何使用display提高debug效率呢?

在verilog中虽然没有system verilog的assertion,但是我们依旧可以使用display打印检查各类错误,在RTL级的仿真中能够快速定位问题。...

2023-08-27 标签:芯片设计仿真器RTLVerilog语言 1018

SOC设计中的同步复位和异步复位有哪些应用呢?

在SOC设计中,复位电路是一个关键部分,它确保了芯片中各个模块在初始化和运行时能够处于一致的状态。...

2023-08-27 标签:传感器SoC设计同步复位异步复位时钟信号 1344

科普一下Linux信息显示与搜索命令

科普一下Linux信息显示与搜索命令

uname -a #显示系统所有相关信息...

2023-08-27 标签:处理器缓冲器Linux系统计算器LINUX内核 1285

高性能、低延迟的InfiniBand式网络并不是唯一的选择

高性能、低延迟的InfiniBand式网络并不是唯一的选择

正如我们喜欢指出的那样,当谈到高性能、低延迟的 InfiniBand 式网络时,Nvidia 并不是唯一的选择,自 20 世纪 90 年代末 InfiniBand 互连出现以来就一直不是唯一的选择。...

2023-08-27 标签:以太网人工智能InfiniBandPSMLINUX内核 1325

浅析C语言中的regiseter关键字

浅析C语言中的regiseter关键字

C语言中重要的关键字有很多,static const extern我们之前都讲过,还有一个在面试中出现的频率也比较高:register。...

2023-08-25 标签:寄存器C语言缓存器for循环 944

verilog/systemverilog中隐藏的初始化说明

verilog/systemverilog中隐藏的初始化说明

在Verilog和SystemVerilog中经常需要在使用变量或者线网之前,期望变量和线网有对应的初始值...

2023-08-25 标签:仿真器VaRVerilog语言 806

在bash中如何进行各种文件重定向呢?

在bash中如何进行各种文件重定向呢?

本文会用以下测试程序,来演示在bash中,如何进行各种文件重定向...

2023-08-25 标签:Linux系统TCP通信bash终端rust语言 922

Meta发布一款可以使用文本提示生成代码的大型语言模型Code Llama

Meta发布一款可以使用文本提示生成代码的大型语言模型Code Llama

今天,Meta发布了Code Llama,一款可以使用文本提示生成代码的大型语言模型(LLM)。...

2023-08-25 标签:PHPpythonGPU芯片ChatGPTLLM 1202

浅析形式验证的分类、发展、适用场景

浅析形式验证的分类、发展、适用场景

Formal Verification:利用数学分析的方法,通过算法引擎建立模型,对待测设计的状态空间进行穷尽分析的验证。...

2023-08-25 标签:EDA工具RTLSVACDC技术FPV 1283

MBP IMV Script及MBP IMV Script内置的算法介绍

MBP IMV Script及MBP IMV Script内置的算法介绍

MBP Script是基于Java语言,支持除了类定义外大多数Java表达式(jdk1.4)。使用Script,您可以转换数据,定义Plots,进行优化和构建提取流。...

2023-08-24 标签:JAVA语言阈值电压GDS 913

UVM设计模式之观察者模式解读

UVM设计模式之观察者模式解读

Observer Pattern:对象之间定义一个一对多的依赖关系,当一个对象改变的时候,所有依赖对象都会自动收到通知。...

2023-08-24 标签:UVMTLM解耦控制 832

新思科技IP成功在台积公司3nm工艺实现流片

基于台积公司N3E工艺技术的新思科技IP能够为希望降低集成风险并加快首次流片成功的芯片制造商建立竞争优势...

2023-08-24 标签:USB接口以太网半导体技术PHYLPDDR5 860

如何降低Build时间?有哪些方法呢?

如何降低Build时间?有哪些方法呢?

随着嵌入式系统功能越来越多,嵌入式软件代码也越来越复杂,Build时间也越来越长。...

2023-08-24 标签:嵌入式系统RTOSC++语言预处理器 661

如何利用大模型构建知识图谱?如何利用大模型操作结构化数据?

如何利用大模型构建知识图谱?如何利用大模型操作结构化数据?

上图是之前,我基于大语言模型构建知识图谱的成品图,主要是将金融相关的股票、人物、涨跌幅之类的基金信息抽取出来。...

2023-08-24 标签:SQLGPT数据存储器LoRa技术 12245

什么是rsync?如何安装rsync?如何恢复中断的传输?

我们都使用过 scp 来传输文件。当传输在中途或甚至在 99% 时被中断时,(每当我想起99%的中断传输时,我的心都很痛);让我们看看如何使用 rsync 来替代 scp,避免这样的不幸。...

2023-08-24 标签:LINUX内核ShellRPMSCPUbuntu系统 1207

把子模块包含网表的RTL代码添加到BD中的方法分享

把子模块包含网表的RTL代码添加到BD中的方法分享

Vivado以IP为核心的设计理念的一个重要支撑就是IP Integrator(简称IPI,IP集成器)。用户可以很便捷地把VivadoIP Catalog中的IP拖到IPI中形成Block Design(.bd文件)。...

2023-08-24 标签:VHDL语言RTLVivadoHLS 1106

为什么要把软中断锁放到更底层去呢?

大内核锁(BKL)现在已经成为了一个遥远的记忆,但在那么多年里,它都是内核开发社区面临的一项棘手问题。...

2023-08-24 标签:处理器cpu定时器LINUX内核软中断 494

边缘计算+纯平工业屏+嵌入式播放器超强组合方案

卓越的用户体验是企业成功的关键,尤其是在零售业。凌华科技的嵌入式媒体播放器EMP-510 配合工业级显示器IM系列,通过部署边缘AI技术,可以运行深度机器学习算法,分析店内访 问人口的统...

2023-08-23 标签:驱动器机器学习嵌入式播放器边缘计算ai技术 634

OSPF链路状态路由协议学习笔记

OSPF链路状态路由协议学习笔记

使用SPF算法:以自己为根节点计算最短路径树...

2023-08-23 标签:路由器OSPF过滤器SPF接口 1019

MySQL优化并不像大家所想的那样简单

MySQL优化并不像大家所想的那样简单

说起MySQL的查询优化,相信大家收藏了一堆奇技淫巧:不能使用SELECT *、不使用NULL字段、合理创建索引、为字段选择合适的数据类型..... 你是否真的理解这些优化技巧?...

2023-08-23 标签:存储器MySQL缓存器二叉树MYSQL数据库 529

MicroBlaze MCS和MicroBlaze的区别在哪?

MicroBlaze MCS和MicroBlaze的区别在哪?

在Block Design中查找IP时输入Microblaze,就会发现下面几种IP,我们常规使用的就是第一个IP,是一个可以自定义外设的软核,但是第三个MicroBlaze MCS到底是个啥,我们接下来详解。...

2023-08-23 标签:微控制器存储器mcsUART接口中断控制器Vivado 904

什么是差分放大电路?差分放大电路的作用有哪些呢?

什么是差分放大电路?差分放大电路的作用有哪些呢?

要想掌握差分放大电路,首先就要知道什么是差分放大电路以及它的作用。...

2023-08-22 标签:电容器电阻器运算放大器差分放大电路耦合电容 3862

如何实现基于AD7606芯片采集正弦波呢?

如何实现基于AD7606芯片采集正弦波呢?

找到波形发生器,可查看相关控制引脚。本次实验采集的波形是由AD9833输出的。...

2023-08-22 标签:寄存器存储器sram微处理器AD9833波形发生器SRAM存储器 3419

谈谈大数据时代中数据架构的变迁

谈谈大数据时代中数据架构的变迁

人人都知道罗马不是一天建成的,但没人告诉过你罗马是怎样一天天建成的。你看见罗马时,它就已经是罗马了。当我进阿里时,正是这样的感觉。...

2023-08-22 标签:SQLADS仿真流处理器MYSQL数据库odps 958

结构体对齐在STM32中的具体体现和如何进行不同对齐方式的设置

结构体对齐在STM32中的具体体现和如何进行不同对齐方式的设置

在嵌入式系统开发中,结构体作为一种常见的数据组织方式,在内存中的布局方式对于程序性能和内存占用具有重要影响。...

2023-08-22 标签:处理器单片机存储器STM32C语言 2530

基于R828D调谐器芯片接收器RTL-SDR BLOG V4短波和滤波改善

基于R828D调谐器芯片接收器RTL-SDR BLOG V4短波和滤波改善

改进短波接收。现在使用一个内置的上变频器,而不是使用直接采样电路。这意味着没有更多的奈奎斯特折叠约14.4 MHz的信号,提高灵敏度,和可调的高频增益。...

2023-08-22 标签:接收器SDR调谐器RTL陷波滤波器 3202

UVM设计模式之状态模式介绍

UVM设计模式之状态模式介绍

软件设计中,FSM(Finite-State Machine)分为3部分:状态(State),事件(Event),动作(Action)。...

2023-08-22 标签:RTLUVM状态机fsmDUT 751

编辑推荐厂商产品技术软件/工具OS/语言教程专题