检索结果-维普期刊中文期刊服务平台

覆盖率驱动的芯片功能验证设计与实现被引量：3: 1; 作者罗莉何鸿君 +1 位作者窦强徐炜遐《计算机工程与科学》 CSCD 北大核心 2013年第1期36-40,共5页; 随着芯片集成度的发展,芯片性能越来越高,而上市时间越来越短,芯片验证在芯片设计中非常关键并贯穿于整个设计过程,验证的效率和质量直接决定着芯片的成败。提出了基于覆盖率驱动的芯片功能验证方法,定义了基于功能点覆盖率驱动的验证流... 展开更多; 关键词覆盖率驱动功能验证 PSL systemvERILOG; 在线阅读下载PDF 职称材料

Unix System V IPC及共享内存机制分析被引量：3: 2; 作者郭学理高世杰《计算机应用研究》 CSCD 北大核心 2001年第4期39-40,63,共3页; 介绍了ＵｎｉｘＳｙｓｔｅｍＶＩＰＣ（ＩｎｔｅｒＰｒｏｃｅｓｓＣｏｍｍｕｎｉｃａｔｉｏｎ）及共享内存区的通信机制；以及ＩＰＣ机制与Ｕｎｉｘ内核之间的关联．最后给出应用实例：共享内存区在电子公告板ＢＢＳ系统上的实现．; 关键词 systemv 共享内存 UNIX 操作系统进程通信 IPC; 在线阅读下载PDF 职称材料

Linux中System V进程通信机制安全性形式化验证被引量：1: 3; 作者吴丹刘芳 +1 位作者戴葵王志英《计算机工程与科学》 CSCD 2002年第2期13-17,共5页; 基于Linux开发安全操作系统是提高计算机安全的重要途径 ,而形式化验证则是开发过程的重要和必要的环节。我们从Linux的各个子系统着手进行验证 ,逐步搭建起整个操作系统的验证模型。考虑到访问控制机制是实现操作系统安全性的关键 ,本... 展开更多; 关键词 LINUX systemv 进程通信机制安全性形式化验证操作系统计算机网络; 在线阅读下载PDF 职称材料

Linux中System V进程通信机制及访问控制技术的改进被引量：5: 4; 作者龚丽敏李天宁 +1 位作者茅兵谢俊元《计算机应用研究》 CSCD 北大核心 2001年第4期35-38,共4页; 简述了消息队列、共享内存和信号量达三种通信机制的结构及其实现，并以此为基础，提出了通过实现进程间通信的强制访问控制来提高系统安全性的方法．; 关键词进程通信消息队列访问控制 LINUX 操作系统 systemv; 在线阅读下载PDF 职称材料

题名覆盖率驱动的芯片功能验证设计与实现被引量：3: 1; 作者罗莉何鸿君窦强徐炜遐; 机构国防科学技术大学计算机学院; 出处《计算机工程与科学》 CSCD 北大核心 2013年第1期36-40,共5页; 文摘随着芯片集成度的发展,芯片性能越来越高,而上市时间越来越短,芯片验证在芯片设计中非常关键并贯穿于整个设计过程,验证的效率和质量直接决定着芯片的成败。提出了基于覆盖率驱动的芯片功能验证方法,定义了基于功能点覆盖率驱动的验证流程,利用PSL语言描述断言检查很有效,通过模拟工具检查断言是否成功,从而判断设计是否满足系统的功能要求。在网络接口芯片实际应用中,有效地降低了验证工作的复杂度,同时提高了验证的速度和质量。利用功能覆盖率数据判断测试激励的正确性和完整性,同时用覆盖率数据定量评价验证进程,提高了整个设计的效率。; 关键词覆盖率驱动功能验证 PSL systemvERILOG; Keywords coverage-driven function verification PSL（property specification language） systemver-ilog; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名Unix System V IPC及共享内存机制分析被引量：3: 2; 作者郭学理高世杰; 机构武汉大学网络信息中心计算机科学与技术系; 出处《计算机应用研究》 CSCD 北大核心 2001年第4期39-40,63,共3页; 文摘介绍了ＵｎｉｘＳｙｓｔｅｍＶＩＰＣ（ＩｎｔｅｒＰｒｏｃｅｓｓＣｏｍｍｕｎｉｃａｔｉｏｎ）及共享内存区的通信机制；以及ＩＰＣ机制与Ｕｎｉｘ内核之间的关联．最后给出应用实例：共享内存区在电子公告板ＢＢＳ系统上的实现．; 关键词 systemv 共享内存 UNIX 操作系统进程通信 IPC; Keywords System V IPC Share memory BBS; 分类号 TP316.81 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名Linux中System V进程通信机制安全性形式化验证被引量：1: 3; 作者吴丹刘芳戴葵王志英; 机构国防科技大学计算机学院; 出处《计算机工程与科学》 CSCD 2002年第2期13-17,共5页; 基金国家自然科学基金资助项目 (90 10 40 2 5 ); 文摘基于Linux开发安全操作系统是提高计算机安全的重要途径 ,而形式化验证则是开发过程的重要和必要的环节。我们从Linux的各个子系统着手进行验证 ,逐步搭建起整个操作系统的验证模型。考虑到访问控制机制是实现操作系统安全性的关键 ,本文主要讨论使用SPIN模型检验器对IPC子系统中的SystemV进程通信机制进行形式化验证的过程与方法 ,查找安全漏洞并改进现有的机制 ,为开发工作提供理论上的保证。; 关键词 LINUX systemv 进程通信机制安全性形式化验证操作系统计算机网络; Keywords formal verification access control IPC SPIN System V; 分类号 TP316.81 [自动化与计算机技术—计算机软件与理论] TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名Linux中System V进程通信机制及访问控制技术的改进被引量：5: 4; 作者龚丽敏李天宁茅兵谢俊元; 机构南京大学; 出处《计算机应用研究》 CSCD 北大核心 2001年第4期35-38,共4页; 文摘简述了消息队列、共享内存和信号量达三种通信机制的结构及其实现，并以此为基础，提出了通过实现进程间通信的强制访问控制来提高系统安全性的方法．; 关键词进程通信消息队列访问控制 LINUX 操作系统 systemv; Keywords IPC Message queue Share memory Semaphore Security MAC; 分类号 TP316.81 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	覆盖率驱动的芯片功能验证设计与实现	罗莉何鸿君窦强徐炜遐	《计算机工程与科学》 CSCD 北大核心	2013	3	在线阅读下载PDF 职称材料
2	Unix System V IPC及共享内存机制分析	郭学理高世杰	《计算机应用研究》 CSCD 北大核心	2001	3	在线阅读下载PDF 职称材料
3	Linux中System V进程通信机制安全性形式化验证	吴丹刘芳戴葵王志英	《计算机工程与科学》 CSCD	2002	1	在线阅读下载PDF 职称材料
4	Linux中System V进程通信机制及访问控制技术的改进	龚丽敏李天宁茅兵谢俊元	《计算机应用研究》 CSCD 北大核心	2001	5	在线阅读下载PDF 职称材料