用vhdl编写的基于fpga的数字频率计程序算法
标签： vhdl fpga 编写 数字频率计
上传时间： 2013-09-07
上传用户：chfanjiang
一种MP3的Protel格式的电路原理图。
标签： Protel MP3 电路原理图
上传时间： 2013-09-18
上传用户：skhlm
这是我以前用过 的别人设计的已款MP3电路图，感觉还可以
标签： MP3 电路图
上传用户：3到15
一种U盘的Protel格式的电路原理图。
标签： Protel U盘 电路原理图
上传用户：panpanpan
飞利浦ARM芯片LPC2148的PROTEL格式的原理图
标签： PROTEL 2148 ARM LPC
上传时间： 2013-09-19
上传用户：tzrdcaabb
个人制作的protel2004dxp下的元件封装库
标签： protel 2004 dxp 元件
上传时间： 2013-09-20
上传用户：jcljkh
在学习proteus和单片机的时候积累的一些仿真例子，包含电路仿真图与C51代码
标签： proteus 单片机 仿真 积累
上传时间： 2013-09-27
上传用户：shaoyun666
采用了51单片机和128x64的LCD--12864的电子时钟,具有走时、调时、调星期，经过简单的扩展后还具有闹铃、农历、秒表功能。
标签： 128x64 12864 LCD 51单片机
上传时间： 2013-09-29
上传用户：独孤求源
单片机的仿真设计的应用实例-单数累加-和温度调控模拟的电路板设计。教你入门，如何仿真mcu
标签： 单片机 仿真设计 应用实例 温度
上传时间： 2013-09-30
上传用户：ve3344
软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形式化方法，包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证，只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。
标签： 瞬时 容错技术
上传时间： 2014-01-15
上传用户：dudu1210004
