搜索资源列表
co2
- 用51单片机采集CO2浓度C语言程序，通过验证，可正常使用(Using 51 single chip microcomputer to collect CO2 concentration C language program, through verification, it can be used normally.)
frssRTOSpro
- 基于S32 Design Studio开发平台，S32K144处理器，非例程单独移植FreeRTOS系统，工程简洁无多余的组建，实现多任务，在线调试Trace等功能，已经上板调试验证。(Based on S32 Design Studio development platform, S32K144 processor, non routine transplantation of FreeRTOS system alone, simple and no redundant constructio
SPI
- 基于STM32F091的SPI通讯程序，使用Keil MKD V5开发，作为学习验证使用(SPI communication program based on STM32F091 is developed using Keil MKD V5 as learning verification.)
UVM验证平台搭建
- 搭建uvm验证平台,通用验证平台结构和搭建流程介绍(How to build a common UVM verification platform?An easy and useful method is instroduced here.)
ac620_calculator_key_board
- 基于Verilog编写的计算器，使用矩阵键盘输入数据，使用数码管显示运算过程和结果，基于小梅哥AC620开发板验证通过(The calculator based on Verilog uses matrix keyboard to input data and digital tube to display the operation process and results. The development board based on little mac620 passed the veri
SPI_UVM_VIP
- SPI协议的芯片验证VIP,用UVM搭建平台验证代码(Chip verification VIP of SPI protocol, build platform verification code with UVM)
formal_verification
- 现在最流行的RTL设计方法之一，本书为全球流行的设计入门书籍(One of the most popular RTL design methods nowadays, this book is an introductory book for popular design all over the world.)
crc16
- verilog 语言下的硬件CRC校验：CRC16(CRC verification in Verilog: CRC 16)
FPGA系统设计与验证实战指南_V1.2
- FPGA系统设计与验证实战，内含各种常见的FPGA程序设计，AD，RS485，以太网等。(130 sets of resume template FPGA system design and verification, including a variety of common FPGA programming, ad, RS485, Ethernet, etc.)