谓词逻辑
谓词逻辑技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
资源总数
500
谓词逻辑 全部资料 500 份
可编程逻辑器件设计.rar
资料->【C】嵌入系统->【C2】IC设计与FPGA->【0】综合(可编程逻辑器件、PAL、GAL、PLD、ASIC)->可编程逻辑器件设计.rar
2024-11-07
8
复杂可编程逻辑器件快
摘要:介绍基于SRAM的可重配置CPLD的原理,通过对多种串行配置的比较,提出了由单片机和FLASH存储器组成的串行配置方式,并从系统复杂度、可靠性和经济性等方面进行了比较和分析。 关键词:复杂可编程逻辑器件 静态随机存储器 被动串行
2025-03-21
7
详尽介绍了VERILOG编程过程中的组合逻辑和时序逻辑设计方法
详尽介绍了VERILOG编程过程中的组合逻辑和时序逻辑设计方法,同时对仿真程序的编程和使用也做了完美的讲解,便于快速学习掌握
2013-12-11
79
所谓固件
所谓固件,就是存储在程序内存中的程序,用以完成驱动程序无法完成的USB 芯片及外围芯片的初始化及控制工作[23]。USB固件程序设计是USB接口部分的主要工作,它的主要目的是:当USB设备连接到主机上时,主机可以发现新设备,然后建立连接并完...
2015-07-26
104
所谓“移植”
所谓“移植”,就是使一个实时内核能在其它的微处理器或微控制器上运行。 尽管大部分μC/OS-II的代码是用C语言编写的,但是在编写与处理器硬件相关的代码时还是不得不使用汇编语言。 移植的主要工作就是编写这些与处理器硬件相关的...
2017-07-19
47
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造,对在逻辑...
2014-11-26
37