期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
FS4600指纹传感器 美国新思科技有限公司
1
《传感器世界》
2017年第5期49-50,共2页
新思科技(Synapdcsl的FS4600指纹传感器系列面向主流和入门机型提供高性能、便捷、安全的生物识别。FS4600产品系列支持方形、圆形、椭圆和细长矩形设计,可集成在设备正面、背面或侧面。OEM厂商可以选择多种涂层工艺,包括聚合材料、...
新思科技(Synapdcsl的FS4600指纹传感器系列面向主流和入门机型提供高性能、便捷、安全的生物识别。FS4600产品系列支持方形、圆形、椭圆和细长矩形设计,可集成在设备正面、背面或侧面。OEM厂商可以选择多种涂层工艺,包括聚合材料、陶瓷或玻璃。
展开更多
关键词
指纹传感器
生物识别
涂层工艺
聚合材料
可集成
OEM
下载PDF
职称材料
一种基于约束求解的Verilog语言静态分析方法
被引量:
1
2
作者
黄赛杰
陈铭松
金乃咏
《计算机应用与软件》
CSCD
2015年第12期1-3,87,共4页
由于硬件描述语言Verilog中存在赋值语句的并发行为,对其验证一直是静态分析技术的一大挑战。针对Verilog程序的正确性问题,提出一种基于布尔约束求解的Verilog验证方法。通过分析Verilog语义特点,采用分步编码的方式对Verilog并发赋值...
由于硬件描述语言Verilog中存在赋值语句的并发行为,对其验证一直是静态分析技术的一大挑战。针对Verilog程序的正确性问题,提出一种基于布尔约束求解的Verilog验证方法。通过分析Verilog语义特点,采用分步编码的方式对Verilog并发赋值语句进行处理。实验结果显示,该方法能有效地检测Verilog程序中设计的缺陷,并给出错误发生时程序的状态。
展开更多
关键词
硬件设计
静态分析
模型检验
符号执行
约束求解
下载PDF
职称材料
基于Mealy机精化关系的验证算法
3
作者
梁虹
金乃咏
《计算机应用与软件》
CSCD
北大核心
2012年第8期169-172,共4页
与传统验证方法相比,形式验证技术因其完备性,已在数字电路设计领域中得到越来越多的关注。通过对形式验证技术和状态机的研究,在LTL公式的可实现策略基础上,提出一个基于Mealy机精化关系的验证算法,实现了一个搜索工具原型:支持算术表...
与传统验证方法相比,形式验证技术因其完备性,已在数字电路设计领域中得到越来越多的关注。通过对形式验证技术和状态机的研究,在LTL公式的可实现策略基础上,提出一个基于Mealy机精化关系的验证算法,实现了一个搜索工具原型:支持算术表达式的LTL性质描述,在设计空间中搜索满足给定规范的输入输出信号。该技术可应用于定位电路设计中满足给定功能性质的代码片段。
展开更多
关键词
形式验证
性质验证
精化
MEALY机
下载PDF
职称材料
一种新型混合晶向积累型圆柱体共包围栅互补金属氧化物场效应晶体管
被引量:
3
4
作者
肖德元
王曦
+8 位作者
俞跃辉
袁海江
程新红
陈静
甘甫烷
张苗
季明华
吴汉明
谢志峰
《科学通报》
EI
CAS
CSCD
北大核心
2009年第14期2051-2059,共9页
提出一种新型的工作于积累模式、具有混合晶向的圆柱体共包围栅互补金属氧化物场效应晶体管器件结构.与目前其他报道的CMOS器件相比,NMOS和PMOS器件沟道具有不同的晶向,且均有埋层氧化层将其与衬底隔离,器件结构简单、紧凑,集成度增加...
提出一种新型的工作于积累模式、具有混合晶向的圆柱体共包围栅互补金属氧化物场效应晶体管器件结构.与目前其他报道的CMOS器件相比,NMOS和PMOS器件沟道具有不同的晶向,且均有埋层氧化层将其与衬底隔离,器件结构简单、紧凑,集成度增加了一倍.报道了积累型圆柱体全包围栅场效应管器件物理分析、技术仿真结果以及器件制作详细工艺流程.与其他常规鳍形场效应管器件(FinFET)相比,由于克服了不对称场的积聚,如锐角效应导致的漏电,器件沟道的电完整性得到很大改善.SOI圆柱体全包围栅场效应晶体管在积累工作模式下,电流流过整个圆柱体,具备高载流子迁移率,低低频器件噪声,并可避免多晶硅栅耗尽及短沟道效应,增大了器件的阈值电压.亚10nm尺寸下,器件的开/关态电流比值大于106,表明器件具备良好的性能及进一步按比例缩小的能力.另外还简单介绍了器件制作工艺流程,提出的工艺流程具备简单且与常规CMOS工艺流程兼容的特点.
展开更多
关键词
亚10nm器件
混合晶向
无PN结
圆柱体共包围栅
互补金属氧化物
场效应晶体管
器件分析
器件仿真
器件工艺
原文传递
基于多光刻胶有效扩散长度的光学临近效应修正模型校准方法(英文)
5
作者
朱亮
闻人青青
+2 位作者
阎江
顾以理
杨华岳
《Journal of Semiconductors》
EI
CAS
CSCD
北大核心
2008年第12期2346-2352,共7页
提出了基于多光刻胶有效扩散长度的光学临近效应修正模型校准方法,其考虑了一维和二维图形之间光刻胶有效扩散长度的不同.该方法的一个重要步骤在于建立起全新的校准流程,使得一维图形和二维图形具有相同的光学参数和不同的光刻胶有效...
提出了基于多光刻胶有效扩散长度的光学临近效应修正模型校准方法,其考虑了一维和二维图形之间光刻胶有效扩散长度的不同.该方法的一个重要步骤在于建立起全新的校准流程,使得一维图形和二维图形具有相同的光学参数和不同的光刻胶有效扩散长度.另外,在该模型校准流程中提出了一种基于可制造性设计理念的交互.从校准结果的关键尺寸误差及仿真轮廓和扫描电子显微镜图像的对比来看,基于多光刻胶有效扩散长度的光学临近效应修正模型校准方法的输出模型更加精确和稳定.
展开更多
关键词
光学临近效应修正
可制造性设计
扩散光学影像模型
边缘位置误差
化学放大光刻胶
掩膜误差因子
原文传递
数据驱动的广告产业的程序化进化
被引量:
5
6
作者
谭北平
《声屏世界(广告人)》
2015年第12期152-152,共1页
程序化通常被理解为技术问题,但与广告业有何关联,这是一个需要深思的问题。通过广告类的基本流程发现,数字产业是比重较大的一块领域。数据流和技术流将整个产业区分成不同的领域,有各种各样的技术方式,可以看到广告领域中,技术和数据...
程序化通常被理解为技术问题,但与广告业有何关联,这是一个需要深思的问题。通过广告类的基本流程发现,数字产业是比重较大的一块领域。数据流和技术流将整个产业区分成不同的领域,有各种各样的技术方式,可以看到广告领域中,技术和数据是重要的驱动力。
展开更多
关键词
数据驱动
目标消费者
广告产业
广告领域
广告类
广告位
技术方式
在线广告
移动广告
电视广告
原文传递
题名
FS4600指纹传感器 美国新思科技有限公司
1
机构
美国
新思科技有限公司
出处
《传感器世界》
2017年第5期49-50,共2页
文摘
新思科技(Synapdcsl的FS4600指纹传感器系列面向主流和入门机型提供高性能、便捷、安全的生物识别。FS4600产品系列支持方形、圆形、椭圆和细长矩形设计,可集成在设备正面、背面或侧面。OEM厂商可以选择多种涂层工艺,包括聚合材料、陶瓷或玻璃。
关键词
指纹传感器
生物识别
涂层工艺
聚合材料
可集成
OEM
分类号
TP212 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
一种基于约束求解的Verilog语言静态分析方法
被引量:
1
2
作者
黄赛杰
陈铭松
金乃咏
机构
华东师范大学软件学院
新思科技有限公司
验证组
出处
《计算机应用与软件》
CSCD
2015年第12期1-3,87,共4页
基金
国家自然科学基金青年项目(61202103)
上海市教育委员会科研创新项目(14ZZ047)
+1 种基金
高等学校博士学科点专项科研基金项目(20110076120025)
软硬件协同设计技术与应用教育部工程研究中心开放课题(2013001)
文摘
由于硬件描述语言Verilog中存在赋值语句的并发行为,对其验证一直是静态分析技术的一大挑战。针对Verilog程序的正确性问题,提出一种基于布尔约束求解的Verilog验证方法。通过分析Verilog语义特点,采用分步编码的方式对Verilog并发赋值语句进行处理。实验结果显示,该方法能有效地检测Verilog程序中设计的缺陷,并给出错误发生时程序的状态。
关键词
硬件设计
静态分析
模型检验
符号执行
约束求解
Keywords
Hardware design
Static analysis
Model checking
Symbolic execution
Constraint solving
分类号
TP3 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
基于Mealy机精化关系的验证算法
3
作者
梁虹
金乃咏
机构
中国科学院软件研究所
新思科技有限公司
验证组
出处
《计算机应用与软件》
CSCD
北大核心
2012年第8期169-172,共4页
文摘
与传统验证方法相比,形式验证技术因其完备性,已在数字电路设计领域中得到越来越多的关注。通过对形式验证技术和状态机的研究,在LTL公式的可实现策略基础上,提出一个基于Mealy机精化关系的验证算法,实现了一个搜索工具原型:支持算术表达式的LTL性质描述,在设计空间中搜索满足给定规范的输入输出信号。该技术可应用于定位电路设计中满足给定功能性质的代码片段。
关键词
形式验证
性质验证
精化
MEALY机
Keywords
Formal verification Property verification Refinement Mealy machine
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
一种新型混合晶向积累型圆柱体共包围栅互补金属氧化物场效应晶体管
被引量:
3
4
作者
肖德元
王曦
俞跃辉
袁海江
程新红
陈静
甘甫烷
张苗
季明华
吴汉明
谢志峰
机构
中国科学院上海微系统与信息技术研究所
新思科技有限公司
中芯国际集成电路制造(上海)
有限公司
出处
《科学通报》
EI
CAS
CSCD
北大核心
2009年第14期2051-2059,共9页
基金
"十一五"国家科技重大专项(02专项)资助项目
文摘
提出一种新型的工作于积累模式、具有混合晶向的圆柱体共包围栅互补金属氧化物场效应晶体管器件结构.与目前其他报道的CMOS器件相比,NMOS和PMOS器件沟道具有不同的晶向,且均有埋层氧化层将其与衬底隔离,器件结构简单、紧凑,集成度增加了一倍.报道了积累型圆柱体全包围栅场效应管器件物理分析、技术仿真结果以及器件制作详细工艺流程.与其他常规鳍形场效应管器件(FinFET)相比,由于克服了不对称场的积聚,如锐角效应导致的漏电,器件沟道的电完整性得到很大改善.SOI圆柱体全包围栅场效应晶体管在积累工作模式下,电流流过整个圆柱体,具备高载流子迁移率,低低频器件噪声,并可避免多晶硅栅耗尽及短沟道效应,增大了器件的阈值电压.亚10nm尺寸下,器件的开/关态电流比值大于106,表明器件具备良好的性能及进一步按比例缩小的能力.另外还简单介绍了器件制作工艺流程,提出的工艺流程具备简单且与常规CMOS工艺流程兼容的特点.
关键词
亚10nm器件
混合晶向
无PN结
圆柱体共包围栅
互补金属氧化物
场效应晶体管
器件分析
器件仿真
器件工艺
Keywords
hybrid orientation SOI, sub-10 nm device, junctionless GAAC FinFET, device analysis, TCAD simulation, fabrication
分类号
TN386 [电子电信—物理电子学]
TM862 [电气工程—高电压与绝缘技术]
原文传递
题名
基于多光刻胶有效扩散长度的光学临近效应修正模型校准方法(英文)
5
作者
朱亮
闻人青青
阎江
顾以理
杨华岳
机构
中国科学院上海微系统与信息技术研究所
中国科学院研究生院
上海宏力半导体制造
有限公司
上海
新思科技有限公司
出处
《Journal of Semiconductors》
EI
CAS
CSCD
北大核心
2008年第12期2346-2352,共7页
文摘
提出了基于多光刻胶有效扩散长度的光学临近效应修正模型校准方法,其考虑了一维和二维图形之间光刻胶有效扩散长度的不同.该方法的一个重要步骤在于建立起全新的校准流程,使得一维图形和二维图形具有相同的光学参数和不同的光刻胶有效扩散长度.另外,在该模型校准流程中提出了一种基于可制造性设计理念的交互.从校准结果的关键尺寸误差及仿真轮廓和扫描电子显微镜图像的对比来看,基于多光刻胶有效扩散长度的光学临近效应修正模型校准方法的输出模型更加精确和稳定.
关键词
光学临近效应修正
可制造性设计
扩散光学影像模型
边缘位置误差
化学放大光刻胶
掩膜误差因子
Keywords
OPC
DFM
DAIM
EPE
CAR
MEF
分类号
TN305.7 [电子电信—物理电子学]
原文传递
题名
数据驱动的广告产业的程序化进化
被引量:
5
6
作者
谭北平
机构
北京数字
新思科技有限公司
出处
《声屏世界(广告人)》
2015年第12期152-152,共1页
文摘
程序化通常被理解为技术问题,但与广告业有何关联,这是一个需要深思的问题。通过广告类的基本流程发现,数字产业是比重较大的一块领域。数据流和技术流将整个产业区分成不同的领域,有各种各样的技术方式,可以看到广告领域中,技术和数据是重要的驱动力。
关键词
数据驱动
目标消费者
广告产业
广告领域
广告类
广告位
技术方式
在线广告
移动广告
电视广告
分类号
F426.6 [经济管理—产业经济]
原文传递
题名
作者
出处
发文年
被引量
操作
1
FS4600指纹传感器 美国新思科技有限公司
《传感器世界》
2017
0
下载PDF
职称材料
2
一种基于约束求解的Verilog语言静态分析方法
黄赛杰
陈铭松
金乃咏
《计算机应用与软件》
CSCD
2015
1
下载PDF
职称材料
3
基于Mealy机精化关系的验证算法
梁虹
金乃咏
《计算机应用与软件》
CSCD
北大核心
2012
0
下载PDF
职称材料
4
一种新型混合晶向积累型圆柱体共包围栅互补金属氧化物场效应晶体管
肖德元
王曦
俞跃辉
袁海江
程新红
陈静
甘甫烷
张苗
季明华
吴汉明
谢志峰
《科学通报》
EI
CAS
CSCD
北大核心
2009
3
原文传递
5
基于多光刻胶有效扩散长度的光学临近效应修正模型校准方法(英文)
朱亮
闻人青青
阎江
顾以理
杨华岳
《Journal of Semiconductors》
EI
CAS
CSCD
北大核心
2008
0
原文传递
6
数据驱动的广告产业的程序化进化
谭北平
《声屏世界(广告人)》
2015
5
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部