在图书馆管理系统中
在图书馆管理系统中，要为每个借阅者建立一个账户，并给借阅者发放借阅卡（借阅卡可以提供借阅卡号、借阅者姓名），账户中存储借阅的个人信息、借阅信息以及预定信息。持有借阅卡的借阅者可以借阅书刊、返还书刊、查阅书刊信息、预定书刊并取消预定，但这些操作都是通过图书馆管理员进行的，也及借阅者不直接与系统交互，而...
系统验证技术资料
📦 资源总数：42
💻 源代码：4
🔥 系统验证热门资料
查看全部42个资源 »基于FPGA的SOC和IPCore验证平台
随着半导体技术与数字集成电路(微处理器、存贮器以及标准逻辑门电路等)技术的迅速发展，特别是随着计算机技术的发展，在工业生产和科学技术研究的各行各业中，人们利用PC机的强大处理功能代替传统仪器的某些部件，开发出各种测量仪器(虚拟仪器)，传统仪器的数字逻辑部分多是采用分立集成电路(IC)组成，分立IC愈...
基于FPGA的SOC和IPCore验证平台
随着半导体技术与数字集成电路(微处理器、存贮器以及标准逻辑门电路等)技术的迅速发展，特别是随着计算机技术的发展，在工业生产和科学技术研究的各行各业中，人们利用PC机的强大处理功能代替传统仪器的某些部件，开发出各种测量仪器(虚拟仪器)，传统仪器的数字逻辑部分多是采用分立集成电路(IC)组成，分立IC愈...
OTGUSB20FPGA设计与实现
通用串行总线(USB)是一种计算机外围串行通信接口标准,具有热插拨、即插即用、数据传输可靠、扩展方便、低成本等优点。USB OTG规范提出了脱离PC和外设之间互连的概念,它将USB的应用带到了嵌入式领域。 OTG控制器模块是OTG USB2.0口的核心模块。它通过HNP(主从交换)协议和SRP(对话...
基于ARM嵌入式应用平台的x86指令译码器设计
传统的计算机软件与下层的机器平台有着强烈的依赖关系，针对一个机器平台编译的程序不能运行在其他平台上。随着新的体系结构和操作系统的不断涌现，对计算机系统间的互操作性要求也越来越高。二进制翻译技术可以将一种ISA(Instruction Set Architecture)的二进制机器码翻译到另一种ISA...
💻 系统验证源代码
查看更多 »📂 系统验证资料分类