技术栈

verification

云纳星辰怀自在
2 个月前
iso26262·verification·软件验证计划
软件工程之软件验证计划Software Verification Plan个人主页:云纳星辰怀自在座右铭:“所谓坚持,就是觉得还有希望!”本文为基于ISO26262软件验证计划模板,仅供参考。
bitlogic
3 个月前
verilog·systemverilog·scope·verification·fpga & design·lifetime·并发线程
理解 SystemVerilog 中的循环与并发线程除了常见的module、interface、class、task以及function等等,另外,begin-end block 和 fork-join block 也是一个 scope(这里的 fork-join block 包括fork-join、fork-join_any和fork-join_none),如下示例,在匿名块中也可以声明变量,该变量只在当前匿名块或者其内部嵌套的 scope 中是可见的:
思尔芯S2C
8 个月前
fpga开发·soc·risc-v·eda·fpga原型验证·prototyping·verification
What is RISC-V?RISC-V is an open and free instruction set architecture (ISA) that forms the basis for designing computer processors, microcontrollers, and other hardware components. It stands out for its open nature, modularity, and simplicity. Originating from the Univ