< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
基于U(375)盘及SD(SPI模式)卡集成文件系统(包括底层驱动)
上传时间: 2013-12-21
上传用户:我们的船长
该系统是一个集成多功能的信息管理系统,有教师资料管理、学生管理、班级管理、专业管理、课程管理、成绩管理和院系管理功能模块。
上传时间: 2014-11-24
上传用户:wkchong
DS1624是美国DALLAS公司生产的集成了测量系统和存储器于一体的芯片。数字接口电路简单,与I2C总线兼容,且可以使用一片控制器控制多达8片的DS1624。其数字温度输出达13位,精度为0.03125℃。DS1624可工作在最低2.7V电压下,适用于低功耗应用系统。
上传时间: 2016-06-28
上传用户:com1com2
本文主要介绍和分析了在集成芯片设计中几种常用的片上系统总线-CoreConnect 总线、MBA 总线、Wishbone 总线和OCP 总线,通过比较这些总线的特性及适用范围,展望了它们的发展前景。
标签: CoreConnect Wishbone 总线 MBA
上传时间: 2014-11-18
上传用户:黄华强
MF RC500-高集成ISO14443A 读卡芯片,该文档讲述了MF RC500 的功能包括功能及电气规格并给出了如何从系统和硬件的角度使用该芯片进行设计的细节
上传时间: 2016-07-02
上传用户:z754970244
AT89S51 单片机实验及实践系统板使用说明书,内有原理图,程序例子.(集成多个硬件资源模块,每个模块各自可以成为独立的单元,也可以相互组合,因此,可以为不同阶层的单片机爱好者及单片机开发者提供不同的开发环境。
上传时间: 2013-12-26
上传用户:yzy6007
实用VHDL教程,书中内容包括:了解数字集成电路的结构特点 掌握常用EDA工具的基本使用方法 掌握VHDL的基本语法和主要编程要点 掌握常用数字单元电路的VHDL设计 了解数字集成系统的基本设计方法
上传时间: 2013-12-25
上传用户:731140412
SOPC是Altera公司提出的一种灵活、高效的片上系统设计方案,它可以有选择地将处理器、存储器、I/O等系统设计需要的组件集成到一个PLD器件上。在SOPC设计中可方便地加入用户自定义逻辑。该文简要介绍了SOPC设计架构,然后通过一个实例,详细介绍了嵌入式系统中SOPC设计的实现方法和效果。
上传时间: 2016-07-23
上传用户:R50974
该书第一章系统讲述MATLAB6.5 的集成工作平台,引导读者初会MATLAB 基本用法。第二、三章系统叙述MATLAB6.1 的四大基本数据类型(数值数组、字符串数组、元胞数组、构架数组),至于其它扩展数据类型(函数句柄、符号数据、内联函数、unit 数组、稀疏类)则另辟章节专述。此后,本书用九个独立章分述MATLAB6.5 的数值计算、符号计算、函数和数据可视、面向对象编程、GUI 交互操作界面设计、EXE 独立应用程序生成、实现不同软件平台交互的API、M-book 数据图形文字环境集成等八大通用功能。本书用专门的一章深入浅出地阐明SIMULINK 的分层建模、仿真功能、与MATLAB 交互的功能。
上传时间: 2016-08-03
上传用户:tedo811