搜索资源列表
uCOS-II2.83
- 带有详细文档的正式发布版本的ucos2.83。-detailed documentation with the formal release of ucos2.83.
ucGUI-3.14
- 正式的ucGUI Version 3.14 包含使用手册 -formal ucGUI Version 3.14 contains the user manual
FORMAL-tcpip
- 是TCPIP程序，用的是8051单片机，实现以太网转化为串口
system
- 安全嵌入式系统的设计技巧.pdf The Use of Formal Methods
a
- The widespread use of embedded systems mandates the development of industrial software design methods, i.e. computer-aided design and engineering of embedded applications using formal models (frameworks) and standardized prefabricated components, muc
SafeRTOS_UM.rar
- safeRtos是一个抢占高实时安全的操作系统，特别适合在MCU中高效执行的操作系统。 目前已经嵌入到Luminary mcu 的ROM中，可以免费使用,SAFERTOS was developed using a formal and rigorous process. The process was certified by TÜ V SÜ D to confirm that it was in compliance with that mandated by IEC
DAC
- HIFI DAC解码源程序，CS8416 DIR接收，AD1955 DAC转换芯片，正式生产的产品程序，绝对能正常工作-HIFI DAC decoder source code, CS8416 DIR reception, AD1955 DAC converter chip, the formal procedures for the production of products, can certainly work
ARM-CAN
- 这是ARM的can通讯程序，开发板上带的，比较正规，可以很方便的略加修改使用。-ARM' s can communicate this process with the development board, the more formal, you can easily use a slightly modified version.
嵌入式网络协议Lwip0.6
- lwIP is a small independent implementation of the TCP/IP protocol suite that has been developed by Adam Dunkels at the Computer and Networks Architectures (CNA) lab at the Swedish Institute of Computer Science (SICS). -lwIP is a small indepen
DataTransEx
- mcgs的数据导出源代码，5.5版本的，大家看看正规软件公司的代码，参考一下。-MCGS data derived source code, version 5.5, let us look at the software company' s formal code reference.
spin517.tar
- 最流行的并发模型检测器SPIN，是并发系统的形式化设计中的重要工具-Concurrent model of the most popular detector SPIN, is a formal design of concurrent systems in an important tool
FPGA
- FPGA的作品，比较正规的veilog代码-FPGA-works, a more formal veilog code
IEEE_standard_verilog
- 其中，Verilog硬件描述语言（HDL）的定义，在这个标准。 Verilog的HDL是一个正式的符号中的电子系统创建的各个阶段使用。因为它既是机读和人类可读的，它支持开发，验证，综合，硬件设计和测试，对数据通信的硬件设计，以及维修，改装和硬件采购。这个标准的主要对象是工具的实现者支持的语言和语言的高级用户。-The Verilog Hardware Descr iption Language (HDL) is defined in this standard. Verilog HDL is a
gm5766_Code
- 美国Gensis公司的液晶驱动板专用IC，GM5766是16位X86内核微控制器，程序很完整，配合屏参数据，可以出很正规的产品！-U.S. Gensis' s LCD driver board dedicated IC, GM5766 is a 16-bit X86 core microcontroller, the procedures are complete, with the screen parameter It can be a very formal product!
VHDL2008
- The aim of this book is to introduce the new and changed features of VHDL-2008 in a way that is more accessible to users than the formal definition in the LRM.
dianchiyiqi
- 这是一个电池测试仪器，电路以及程序都提供了，测量 过流 过压 欠压 短路保护。非常实用，已经有正式产品了，希望你们能喜欢。对了 是以单片机 52 为核心.-This is a battery-testing equipment and procedures to provide a circuit to measure voltage over-voltage over-current short circuit protection. Very useful, already have a f
spie04-h264OverviewPaper
- H264 document paper,advanced descr iption and some extentions of the formal H264 contents
i2c
- 正规的I2C总线规范，很详细，是技术研发人员的好资料。-I2C bus specification formal, very detailed, is a good information technology research and development staff.
practical_design_verification
- Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors explain both formal tec
Formal-Verication-of--the-PCI-Local-Bus
- Formal Verication of the PCI Local Bus Using Verilog-Formal Verication of the PCI Local Bus Using Verilog