- 博客(13)
- 收藏
- 关注
RSS订阅原创 RISCV汇编、编译、链接基本过程
其中，前两句指定了输出格式和输出架构，ENTRY指定整个程序入口，一般_start是startup.S的第一个lable。使用编译工具将.c文件编译为.s文件，再将.s文件汇编成.o文件(目标文件)，根据链接脚本将所有的目标文件进行分类组装，并设置程序入口。：主要用于规定各输入文件中的程序、数据等内容段在输出文件中的空间和地址如何。：与高级语言不同，汇编代码是最贴近指令集的代码，汇编语言。经过链接器的链接、重定位后生成的可执行目标文件。的信息，收集各种符号，生成符号表，将各个符号在。
2024-03-06 16:44:56
1252
转载 Linux常用操作命令（IC初学必看）
IC设计是在linux环境下，很多操作需要在Terminal中进行，因此想要学习IC设计，就必须先需要熟悉Linux环境、掌握基础的Linux操作命令
2022-09-03 17:36:14
478
原创 UVM0-lab3 UVM可重用性之一：callback机制
前言：UVM中提供的两大可重用性功能主要有工厂(factory)机制中的override与不改变原来测试环境结构的callback机制。今天主要来介绍callback机制具体如何使用。
2021-12-29 17:33:14
867
原创 UVM0 lab1—一图看懂UVM中的phase机制(含代码结构层次图)
UVM0 lab1—中的phase机制详解，有结构图，1秒就看懂。
2021-12-18 20:30:45
1316
1
原创 数字ic面试问形式验证
芯片制备流程：前端：需求分析—总体构架—模块设计—RTL代码编写—功能仿真—逻辑综合—等价性检查、形式验证—静态时序分析后端：布局规划—布局布线—版图物理验证—流片形式验证是系统性的过程，将使用数学推理完备地证明或验证电路的实现方案是否确实实现了电路设计所描述的功能。相当于使用穷举的方法来对电路设计所描述的功能进行验证。形式验证能够从算法上穷举检查所有随时间可能变化的输入值。换句话说，没有必要表明如何激励设计或创建多种条件来实现较高的可观察性。面试官说：形式验证贯穿于整个流程阶段。形式验证与
2021-12-17 12:48:44
747
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人