-
题名TCP/IP协议中一种形式化的NAT模型
被引量：1
- 1
-
-
作者
陈捷
宋治平
杨宇航
-
机构
上海交通大学
-
出处
《计算机工程》
CAS
CSCD
北大核心
2002年第7期137-139,共3页
-
文摘
介绍了一种的形式化模型,讨论了在上的实现以及模型在实际编码中的一些应用,解释了一些理解上的NATNATFreeBSDNATNAT误区,并说明了该模型在实现上的意义。
-
关键词
TCP/IP协议
形式化
NAT模型
网络地址转换
地址转换表
应用层网关
因特网
-
Keywords
Network address translation (NAT)FlowAddress translation tableApplication level gateway
-
分类号
TN915.04
[电子电信—通信与信息系统]
TP393.4
[自动化与计算机技术—计算机应用技术]
-
-
题名MIPS内存管理单元的设计与实现
被引量：2
- 2
-
-
作者
卢仕听
尤凯迪
韩军
曾晓洋
-
机构
复旦大学专用集成电路与系统国家重点实验室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第21期270-271,274,共3页
-
基金
国家自然科学基金资助项目(60776028)
教育部重点项目基金(109055)
-
文摘
设计MIPS324kc处理器内存管理单元(MMU),该模块对处理器地址进行合法性检查,并按照不同的地址空间对虚拟地址进行静态或动态映射。在硬件上采用三级流水线方式实现JTLB,并为处理器指令端口和数据端口设计相应的快表以提高TLB的查询速度。MMU与总线接口模块的时序采用简化的AMBA协议,与处理器进行联合调试并运行Linux操作系统,同时在功能上通过FPGA验证。该模块经过DC综合后,面积约为32K等效逻辑门。
-
关键词
内存管理单元
地址转换后备表
MIPS处理器
-
Keywords
Memory Management Unit（MMU）
Translation Look-aside Buffer（TLB）
MIPS processor
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
