掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
IEEE International High Level Design Validation and Test Workshop
IEEE International High Level Design Validation and Test Workshop
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
中国自动识别技术
化学传感器
自动化博览
计算机工程与设计
航空计算技术
中国信息技术教育
卷宗
自动化学报
计算机科学
计算机光盘软件与应用
更多>>
相关外文期刊
Journal of computer security
Journal of information technology research
Control & automation
Journal of Logic and Algebraic Programming
Access VB - SQL Advisor
Journal of intelligent material systems and structures
Journal of the Association for Information Systems
Grey systems: theory and application
L'Informatique Professionnelle
Software and systems modeling
更多>>
相关中文会议
2008年OA办公自动化国际学术研讨会
第十八届全国网络与数据通信学术会议
中国计算机用户协会仿真应用分会成立三十周年庆祝大会暨2013全国仿真技术学术会议
第五届中国系统建模与仿真技术高层论坛
第二十二届全国信息保密学术会议(IS2012)
全国第八届通信保密与信息安全现状研讨会
河南省计算机学会2011年学术年会
2005全国网络与信息安全技术研讨会
1999国际建材自动化技术交流会
第四届全国信息检索与内容安全学术会议
更多>>
相关外文会议
IEEE International Conference on Distributed Computing in Sensor Systems(DCOSS 2006); 20060618-20; San Francisco,CA(US)
International Conference on Virtual Reality(ICVR 2007); 20070722-27; Beijing(CN)
Recent advances in software engineering, parallel and distributed systems
Image analysis and processing - ICIAP 2017
Proceedings of the 4th international conference on Computing frontiers
2015 International Conference on Affective Computing and Intelligent Interaction
Advanced multimedia content processing
Text, Speech and Dialogue
2017 International Conference on Computer Systems, Electronics and Control
19th International Conference on Automated Deduction Jul 28-Aug 2, 2003 Miami Beach, FL, USA
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
A method for hunting bugs that occur due to system conflicts
机译:
一种捕猎由于系统冲突而发生的错误的方法
作者:
Geist Daniel
;
Vaida Oded
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
2.
Multi-level Bounded Model Checking to detect bugs beyond the bound
机译:
多级有界模型检查以检测绑定超出界限的错误
作者:
Tasuku Nishihara
;
Takeshi Matsumoto
;
Masahiro Fujita
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
3.
IChecker: An Efficient Checker for Inductive Invariants
机译:
iChecker:用于归纳不变的有效检查员
作者:
Feng Lu
;
K. T. Cheng
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
4.
Easily Testable Implementation for Bit Parallel Multipliers in GF (2{sup}m)
机译:
在GF中易于测试的位并行乘法器的实现(2 {SUP} M)
作者:
H. Rahaman
;
J. Mathew
;
A. M. Jabir
;
D. K. Pradhan
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
关键词:
Stuck-at fault;
Built-in Self-Test (BIST);
Finite or Galois field;
Mastrovito multiplier;
Cryptography;
Error control code;
5.
Guiding CNF-SAT Search by Analyzing Constraint-Variable Dependencies and Clause Lengths
机译:
通过分析约束 - 变量依赖关系和子句长度来指导CNF-SAT搜索
作者:
Vijay Durairaj
;
Priyank Kalla
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
6.
DFT and Probabilistic Testability Analysis at RTL
机译:
RTL的DFT和概率可测试性分析
作者:
Jose M. Fernandes
;
Marcelino B. Santos
;
Arlindo L. Oliveira
;
Joao C. Teixeira
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
关键词:
Testability;
Design for Testability (DFT);
Controllability;
Observability;
Register Transfer Level (RTL);
7.
Reusable On-Chip System Level Verification for Simulation Emulation and Silicon
机译:
可重复使用的片上系统级验证仿真仿真和硅
作者:
Avishay Maman
;
Sharon Goldschlager
;
Hillel Miller
;
David Bell
;
Rob Slater
;
Oded Ben-Moshe
;
Nissan Levi
;
Hagit Gilboa
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
关键词:
SoC verification;
Testbench;
Coverage metrics;
Emulation;
Silicon debug;
8.
Specification Language for Transaction Level Assertions
机译:
交易级别断言规范语言
作者:
Wolfgang Ecker
;
Volkan Esen
;
Michael Hull
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
9.
Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming
机译:
使用电感逻辑编程的功能覆盖闭合测试指令生成
作者:
Hsiou-Wen Hsueh
;
Kerstin Eder
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
10.
CP with Architectural State Lookup for Functional Test Generation
机译:
CP与架构状态查找功能测试生成
作者:
B. Gutkovich
;
A. Moss
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
11.
On the Automatic Transactor Generation for TLM-based Design Flows
机译:
基于TLM的设计流动的自动交易者生成
作者:
Nicola Bombieri
;
Franco Fummi
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
12.
DeepTrans - Extending the Model-based Approach to Functional Verification of Address Translation Mechanisms
机译:
DeamTrans - 扩展基于模型的方法验证地址转换机制
作者:
Allon Adir
;
Laurent Fournier
;
Yoav Katz
;
Anatoly Koyfman
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
13.
Addressing Test Generation Challenges for Configurable Processor Verification
机译:
解决可配置处理器验证的测试生成挑战
作者:
M. Rimon
;
Y. Lichtenstein
;
A. Adir
;
I. Jaeger
;
M. Vinov
;
S. Johnson
;
D. Jani
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
14.
Disjunctive Transition Relation Decomposition for Efficient Reachability Analysis
机译:
析出转变关系分解有效可达性分析
作者:
Stergios Stergiou
;
Jawahar Jain
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
15.
A Tool for Automatic Detection of Deadlock in Wormhole Networks on Chip
机译:
用于自动检测芯片蠕虫网络中死锁的工具
作者:
Sami Taktak
;
Emmanuelle Encrenaz
;
Jean-Lou Desbarbieux
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
16.
Automatic buffer sizing for rate-constrained KPN applications on multiprocessor system-on-chip
机译:
用于多处理器系统上的速率约束KPN应用的自动缓冲器尺寸
作者:
Eric Cheung
;
Hsieh H.
;
Balarin F.
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
buffer storage;
embedded systems;
microprocessor chips;
multiprocessing systems;
parallel architectures;
system-on-chip;
MPEG-2 decoder;
bounded FIFO sizing;
embedded system design;
multiprocessor system-on-chip architecture;
offline automatic buffer sizing algori;
17.
An approach for computing the initial state for retimed synchronous sequential circuits
机译:
一种用于计算Retimed同步顺序电路初始状态的方法
作者:
Chabini N.
;
Wolf W.
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
sequential circuits;
synchronisation;
initial state computation;
retimed circuit;
retimed synchronous sequential circuits;
synchronous monophase sequential circuits;
18.
Framework for fast and accurate performance simulation of multiprocessor systems
机译:
快速准确地仿真多处理器系统的框架
作者:
Cheung Eric
;
Hsieh Harry
;
Balarin Felice
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
19.
Automating the IEEE std. 1500 compliance verification for embedded cores
机译:
自动化IEEE STD。 1500嵌入式核心的合规性验证
作者:
Benso A.
;
Di Carlo S.
;
Prinetto P.
;
Bosio A.
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
IEEE standards;
conformance testing;
embedded systems;
formal verification;
industrial property;
logic CAD;
logic testing;
system-on-chip;
IEEE 1500 standard;
IP provider;
SoC design;
compliance verification;
embedded core testing;
flexible hardware test wrapper arch;
20.
Automatic TLM generation for C-Based MPSoC design
机译:
基于C的MPSOC设计自动TLM生成
作者:
Lo L.L.C.Y.
;
Abdi S.
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
application program interfaces;
automatic programming;
decoding;
hardware description languages;
multiprocessing systems;
system-on-chip;
API;
C-based MPSoC design;
C-code;
H.264;
MP3 decoder;
SystemC simulator;
graphical net-list;
transaction level model;
21.
Automatic error diagnosis and correction for RTL designs
机译:
RTL设计的自动诊断和校正
作者:
Kai-hui Chang
;
Wagner I.
;
Bertacco V.
;
Markov I.L.
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
circuit CAD;
fault diagnosis;
logic CAD;
program verification;
ad-hoc manual effort;
automatic error diagnosis;
error correction;
functional error-detection process;
register-transfer level design verification;
scalable error-repair algorithm;
22.
Bridging RTL and gate: correlating different levels of abstraction for design debugging
机译:
桥接RTL和Gate:关联不同水平的抽象,用于设计调试
作者:
Cheung E.
;
Xi Chen
;
Furshing Tsai
;
Yu-Chin Hsu
;
Hsieh H.
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
high level synthesis;
logic testing;
RTL reference model;
gate-level design debugging;
gate-level design verification;
logic optimizations;
logic synthesis transformations;
register-transfer-level model;
23.
Model-driven test generation for system level validation
机译:
系统级验证的模型驱动测试生成
作者:
Mathaikutty Deepak A.
;
Sumit Ahuja
;
Ajit Dingankar
;
Sandeep Shukla
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
24.
A novel formal approach to generate high-level test vectors without ILP and SAT solvers
机译:
一种新的正式方法,可以在没有ILP和SAT求解器的情况下产生高级测试向量
作者:
Alizadeh Bijan
;
Fujita Masahiro
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
Behavioral Test Generation;
Canonical Representation;
Hardware/Software Co-validation;
High-level Synthesis;
Hybrid Representation;
25.
Bridging RTL and gate: correlating different levels of abstraction for design debugging
机译:
桥接RTL和Gate:关联不同水平的抽象,用于设计调试
作者:
Eric Cheung
;
Xi Chen
;
Furshing Tsai
;
Yu-Chin Hsu
;
Harry Hsieh
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
26.
AME: an abstract middleware environment for validating networked embedded systems applications
机译:
AME:用于验证网络嵌入式系统应用程序的抽象中间件环境
作者:
Fummi F.
;
Perbellini G.
;
Quaglia D.
;
Vinco S.
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
27.
On Chip Instrument application to SoC analysis
机译:
关于SOC分析的芯片仪器应用
作者:
Stollon Neal
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
28.
IC design and verification approach at Ember
机译:
Ember的IC设计和验证方法
作者:
LeFort Robert
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
29.
In-system silicon validation using a reconfigurable platform
机译:
使用可重构平台的系统内芯片验证
作者:
Abramovici Miron
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
30.
High-level vulnerability over space and time to insidious soft errors
机译:
高级别漏洞空间和时间隐蔽柔和的错误
作者:
Zick Kenneth M.
;
Hayes John P.
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
31.
On dynamic switching of navigation for semi-formal design validation
机译:
关于半正式设计验证的动态切换
作者:
Parikh Ankur
;
Hsiao Michael S.
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
32.
Functional testing approaches for #x201C;BIFST-able#x201D; tlm_fifo
机译:
“Bifst-Beable”TLM_FIFO的功能测试方法
作者:
Alemzadeh H.
;
Navabi Z.
;
Di Carlo S.
;
Scionti A.
;
Prinetto P.
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
关键词:
Design for Testability (DFT);
Functional Testing;
System Level Design;
System Test;
Transaction Level Modeling (TLM);
33.
Automating defects simulation and fault modeling for SRAMs
机译:
SRAM的自动化缺陷仿真和故障建模
作者:
Di Carlo Stefano
;
Prinetto Paolo
;
Scionti Alberto
;
Al-Ars Zaid
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
34.
Test slice difference technique for low power encoding
机译:
试验切片差算法低功率编码
作者:
Li Wei-Lin
;
Chen Tsung-Tang
;
Wu Po-Han
;
Rau Jiann-Chyi
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
关键词:
Design for Testability;
Low power testing;
Test data compression;
35.
Injecting intermittent faults for the dependability validation of commercial microcontrollers
机译:
为商业微控制器的可靠性验证注入间歇性故障
作者:
Gil D.
;
Saiz L.J.
;
Gracia J.
;
Baraza J.C.
;
Gil P.J.
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
36.
Proving and disproving assertion rewrite rules with automated theorem provers
机译:
通过自动定理普罗维者证明和歧视断言重写规则
作者:
Morin-Allory Katell
;
Boule Marc
;
Borrione Dominique
;
Zilic Zeljko
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
37.
Positioning test-benches and test-programs in interaction-oriented system-on-chip verification
机译:
定位测试台和测试程序在相互作用的片上芯片验证中
作者:
Xu Xiaoxi
;
Lim Cheng-Chew
;
Liebelt Michael
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
38.
Test and validation of a non-deterministic system #x2014; True Random Number Generator
机译:
非确定性系统的测试和验证 - 真随机数发生器
作者:
Udawatta Kapila
;
Ehsanian Mehdi
;
Maidanov Sergey
;
Musunuri Surya
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
39.
Optimized coverage-directed random simulation
机译:
优化的覆盖 - 定向随机模拟
作者:
Ugarte I.
;
Sanchez P.
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
关键词:
Semi-formal technique;
functional coverage;
random-based simulation;
solver;
40.
IBM system z functional and performance verification using X-Gen
机译:
IBM系统Z使用X-Gen的功能和性能验证
作者:
Schober Torsten
;
Hoppe Bodo
;
Landa Shimon
;
Morad Ronny
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
41.
The role of parallel simulation in functional verification
机译:
并行仿真在功能验证中的作用
作者:
Guglielmo Giuseppe Di
;
Fummi Franco
;
Hampton Mark
;
Pravadelli Graziano
;
Stefanni Francesco
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
42.
Design space exploration for deterministic ethernet-based architecture of automotive systems
机译:
基于确定性以太网的汽车系统架构设计空间探索
作者:
Prachi Joshi
;
Vedahari Narasimhan G.
;
Haibo Zeng
;
Sandeep K. Shukla
;
Chung-wei Lin
;
Huafeng Yu
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
local area networks;
automobiles;
computational complexity;
electronic engineering computing;
integer programming;
linear programming;
43.
Formal semantics of behavior specifications in the architecture analysis and design language standard
机译:
架构分析和设计语言标准中的正式语义规范
作者:
Lo?c Besnard
;
Thierry Gautier
;
Clement Guy
;
Paul Le Guernic
;
Jean-pierre Talpin
;
Brian R. Larson
;
Etienne Borde
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Automata;
Ports (Computers);
Standards;
Unified modeling language;
Computational modeling;
Semantics;
Instruction sets;
44.
Polychronous Methodology For System Design: A True Concurrency Approach
机译:
系统设计的多晶方法:真正的并发方法
作者:
Syed Suhaib
;
Deepak Mathaikutty
;
Sandeep Shukla
;
Jean-Pierre Talpin
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
45.
Error Detection Using Model Checking vs. Simulation
机译:
使用模型检查与模拟错误检测
作者:
Shireesh Verma
;
Patricia Lee
;
Ian G. Harris
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
46.
MMV: Metamodeling Based Microprocessor Validation Environment
机译:
MMV:基于元模型的微处理器验证环境
作者:
Ajit Dingankar
;
Deepak A. Mathaikutty
;
Sreekumar V. Kodakara
;
Sandeep Shukla
;
David Lilja
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
47.
Extracting a simplified view of design functionality via vector simulation
机译:
通过矢量模拟提取设计功能的简化视图
作者:
Onur Guzey
;
Charles Wen
;
Li C. Wang
;
Tao Feng
;
Magdy S. Abadir
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
48.
Equivalence Checking with Rule-Based Equivalence Propagation and High-Level Synthesis
机译:
基于规则的等效传播和高级合成的等价检查
作者:
Tasuku Nishihara
;
Takeshi Matsumoto
;
Masahiro Fujita
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
49.
Assertion-based Verification of Behavioral Descriptions with Non-linear Solver
机译:
基于断言与非线性求解器的行为描述验证
作者:
I. Ugarte
;
P. Sanchez
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
关键词:
Assertion-based Verification;
Non-linear Solver;
Property Checking;
50.
Runtime Deadlock Analysis of SystemC Designs
机译:
Systemc设计的运行时死锁分析
作者:
Eric Cheung
;
Piyush Satapathy
;
Vi Pham
;
Harry Hsieh
;
Xi Chen
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
关键词:
Simulation;
Deadlock;
Synchronization;
Cyclic dependency;
System level design;
SystemC;
51.
Transaction Routing and its Verification by Correct Model Transformations
机译:
通过正确模型转换进行交易路由及其验证
作者:
Samar Abdi
;
Daniel Gajski
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
52.
Efficient Automata-Based Assertion-Checker Synthesis of PSL Properties
机译:
高效的基于自动机的断言 - 检查PSL属性的合成
作者:
Marc Boule
;
Zeljko Zilic
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
53.
Automated Coverage Directed Test Generation Using a Cell-Based Genetic Algorithm
机译:
使用基于细胞的遗传算法自动覆盖定向测试生成
作者:
Amer Samarah
;
Ali Habibi
;
Sofiene Tahar
;
Nawwaf Kharma
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
54.
DVGen: Increasing Coverage by Automatically Combining Test Specifications
机译:
DVGen:通过自动组合测试规范,增加覆盖范围
作者:
Kevin D. Rich
;
Robert Shaw
;
Shankar G. Govindaraju
;
David Dobrikin
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
55.
Towards RTL test generation from SystemC TLM specifications
机译:
从SystemC TLM规范到RTL测试生成
作者:
Mingsong Chen
;
Prabhat Mishra
;
Dhrubajyoti Kalita
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
56.
Hierarchical cache coherence protocol verification one level at a time through assume guarantee
机译:
分层高速缓存同时协调协议一次验证一个级别假设保证
作者:
Xiaofang Chen
;
Yu Yang
;
Delisi Michael
;
Ching-Tsun Chou
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
57.
Validating the dependability of embedded systems through fault injection by means of loadable kernel modules
机译:
通过可加载的内核模块通过故障注入验证嵌入式系统的可靠性
作者:
Murciano M.
;
Violante M.
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
embedded systems;
safety-critical software;
virtual prototyping;
dependability analysis;
embedded systems;
fault injection;
hardware availability;
hardware virtualization;
loadable kernel modules;
mission-critical applications;
safety-critical applications;
virtual;
58.
Validating the dependability of embedded systems through fault injection by means of loadable kernel modules
机译:
通过可加载的内核模块通过故障注入验证嵌入式系统的可靠性
作者:
Murciano Marco
;
Violante Massimo
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
59.
Improving feasible interactions among multiple processes
机译:
改善多个过程之间的可行性相互作用
作者:
Ramineni Kiran
;
Harris Ian G.
;
Verma Shireesh
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
60.
Formal model construction using HDL simulation semantics
机译:
使用HDL仿真语义的正式模型施工
作者:
Buck Joseph
;
Wang Dong
;
Zhu Yunshan
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
HDL simulation semantics;
symbolic simulation;
transaction level equivalence checking;
61.
Coverage-directed test generation through automatic constraint extraction
机译:
通过自动约束提取的覆盖导向试验
作者:
Onur Guzey
;
Wang Li-C.
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
62.
Improving feasible interactions among multiple processes
机译:
改善多个过程之间的可行性相互作用
作者:
Ramineni K.
;
Harris I.G.
;
Verma S.
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
program testing;
program verification;
constraint satisfaction programming solving engine;
hierarchical testing;
multiple processes;
processes interactions;
verification process;
63.
Reliable network-on-chip based on generalized de Bruijn graph
机译:
基于通用的De Bruijn图形的可靠网络
作者:
Hosseinabady M.
;
Kakoee M.R.
;
Mathew J.
;
Pradhan D.K.
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
graph theory;
logic design;
network routing;
network topology;
network-on-chip;
NoC architectures;
NoC design;
energy consumption;
generalized de Bruijn graph;
network topology;
network-on-chip;
reliable routing algorithm;
64.
Temporal parallel gate-level timing simulation
机译:
时间并行栅极级定时仿真
作者:
Kim Dusung
;
Ciesielski Maciej
;
Kyuho Shim
;
Seiyang Yang
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
65.
Cross-layer resilience: are high-level techniques always better?
机译:
跨层弹性:高级技术总是更好吗?
作者:
Jacob A. Abraham
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Resilience;
Integrated circuits;
Manufacturing;
Computers;
Negative bias temperature instability;
Thermal variables control;
66.
SyQUAL: a platform for qualitative modelling and simulation of biological systems
机译:
Syqual:生物系统定性建模平台和模拟平台
作者:
Rosario Distefano
;
Nickolas Goncharenko
;
Franco Fummi
;
Rosalba Giugno
;
Gary D. Badery
;
Nicola Bombieri
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Biological system modeling;
Drugs;
Computational modeling;
Biological systems;
Mathematical model;
Predictive models;
67.
Brain-computer interface using P300: a gaming approach for neurocognitive impairment diagnosis
机译:
脑电脑界面采用P300:一种神经认知障碍诊断的游戏方法
作者:
Daniela De Venuto
;
Valerio Francesco Annese
;
Giovanni Mezzina
;
Michele Ruta
;
Eugenio Di Sciascio
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Games;
Feature extraction;
Electroencephalography;
Electrodes;
Monitoring;
Classification algorithms;
Real-time systems;
68.
High-level modeling for computer-aided clinical trials of medical devices
机译:
医疗器械计算机辅助临床试验的高级别模型
作者:
Houssam Abbas
;
Zhihao Jiang
;
Kuk Jin Jang
;
Marco Beccani
;
Jackson Liangy
;
Rahul Mangharam
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Physiology;
Computational modeling;
Clinical trials;
Medical diagnostic imaging;
Heart;
69.
Fault injection ecosystem for assisted safety validation of automotive systems
机译:
故障注射生态系统,用于汽车系统的辅助安全验证
作者:
Sebastian Reiter
;
Alexander Viehl
;
Oliver Bringmann
;
Wolfgang Rosenstiel
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Biological system modeling;
Ecosystems;
Safety;
Unified modeling language;
Systems simulation;
Prototypes;
Graphical user interfaces;
70.
A unifying flow to ease smart systems integration
机译:
统一流程,以缓解智能系统集成
作者:
Michele Lora
;
Sara Vinco
;
Franco Fummi
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Taxonomy;
MATLAB;
SPICE;
C++ languages;
System analysis and design;
Computational modeling;
Sensors;
71.
Control-flow guided clause generation for property directed reachability
机译:
用于财产定向可达性的控制流导委员会生成
作者:
Xian Li
;
Klaus Schneider
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Hardware;
Model checking;
Safety;
Software;
Handheld computers;
Approximation algorithms;
Software algorithms;
72.
A segment-aware multi-core scheduler for system C PDES
机译:
系统C PDES的段感知多核调度程序
作者:
Guantao Liu
;
Tim Schmidt
;
Rainer Domer
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Load modeling;
Instruction sets;
Multicore processing;
Load management;
Scheduling;
Linux;
73.
Hardware-in-the-loop model-less diagnostic test generation
机译:
硬件循环模型更少的诊断测试生成
作者:
Sarmad Tanwir
;
Michael S. Hsiao
;
Loganathan Lingappan
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Circuit faults;
Optimization;
Integrated circuit modeling;
Computational modeling;
Compaction;
Testing;
Semiconductor device measurement;
74.
Accelerating assertion assessment using GPUs
机译:
使用GPU加速断言评估
作者:
Jason G. Tong
;
Marc Boule
;
Zeljko Zilic
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Logic gates;
Integrated circuit modeling;
Circuit faults;
Graphics processing units;
Computational modeling;
Testing;
Acceleration;
75.
Taming the Complexity of STE-based Design Verification Using Program Slicing
机译:
用程序切片驯服基于STE的设计验证的复杂性
作者:
Vivekananda M. Vedula
;
Flemming L. Andersen
;
Jacob A. Abraham
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
76.
Practical Issues in Sequential Equivalence Checking through Alignability: Handling Don't Cares and Generating Debug Traces
机译:
顺序等效性检查通过可排序检查的实际问题:处理不关心和生成调试迹线
作者:
In-Ho Moon
;
Per Bjesse
;
Carl Pixley
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2006年
77.
Circuit design and verication with Esterel v7 and Esterel Studio
机译:
电路设计与验证Esterel V7和Esterel Studio
作者:
Berry G.
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
circuit CAD;
formal verification;
hardware-software codesign;
Esterel Studio tool;
Esterel v7;
bus interface;
cache controller;
circuit design;
circuit verification;
control-intensive circuit;
formal verification;
hardware-software model generation;
high-level behav;
78.
Intel#x2019;s Post Silicon functional validation approach
机译:
英特尔的后硅功能验证方法
作者:
Tommy Bojan
;
Igor Frumkin
;
Robert Mauri
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
79.
Intel#x2019;s Post Silicon functional validation approach
机译:
英特尔的后硅功能验证方法
作者:
Tommy B.
;
Igor F.
;
Robert M.
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
formal verification;
logic design;
logic testing;
microprocessor chips;
CPU generation;
Intel Corporation;
complex architecture;
corner-case bugs;
post silicon functional validation;
product quality;
silicon debug environment;
80.
Challenges in post-silicon verification of IBM#x2019;s Cell/B.E. and other game processors
机译:
IBM Cell / B.E后硅核查后的挑战。和其他游戏处理器
作者:
Kapoor S.
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
logic testing;
microprocessor chips;
multi-threading;
system-on-chip;
IBM''s Cell/B.E;
ILP wall;
SOC;
game processor;
memory wall;
multithreading;
post-silicon verification;
power wall;
processor verification;
ABIST;
Blue Gene-P;
Broadway;
CPU;
Cache Coherency;
CellB.E.amp;
#;
81.
Challenges in post-silicon verification of IBM#x2019;s Cell/B.E. and other game processors
机译:
IBM Cell / B.E后硅核查后的挑战。和其他游戏处理器
作者:
Kapoor Shakti
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
ABIST;
Blue Gene-P;
Broadway;
CPU;
Cache Coherency;
CellB.E.amp;
#x2122;
Controller;
DMA;
DRAM;
FPU;
LBIST;
LPAR;
MFC;
NUMA;
PLAYSTATIONamp;
#x00AE;
3;
PPE;
Post;
Post Execution Error Checking;
SIMD;
SPE;
Silicon Verification;
Simultaneous Multithreading;
TLB;
Xbox 360amp;
#x2122;
82.
Bug analysis and corresponding error models in real designs
机译:
真实设计中的错误分析和相应的错误模型
作者:
Tao Lv
;
Tong Xu
;
Yang Zhao
;
Huawei Li
;
Xiaowei Li
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
error models;
item-missing bugs;
simulation-based validation;
test generation;
83.
Functional coverage measurements and results in post-Silicon validation of Core#x2122;2 duo family
机译:
功能覆盖率测量和结果在核心™2 Duo系列后硅验证
作者:
Bojan Tommy
;
Aguilar Arreola Manuel
;
Shlomo Eran
;
Shachar Tal
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
84.
Bug analysis and corresponding error models in real designs
机译:
真实设计中的错误分析和相应的错误模型
作者:
Tao Lv
;
Tong Xu
;
Yang Zhao
;
Huawei Li
;
Xiaowei Li
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
error analysis;
industrial property;
microprocessor chips;
probability;
program debugging;
program verification;
wireless sensor networks;
AMBA interface;
bug analysis;
bug detection probability;
embedded processor;
item-missing error model;
microprocessor IP core;
r;
85.
Automatic generation of functional coverage models from CTL
机译:
从CTL自动生成功能覆盖模型
作者:
Verma S.
;
Harris I.G.
;
Ramineni K.
;
HLDVT
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2007年
关键词:
formal logic;
formal specification;
formal verification;
trees (mathematics);
CTL;
automatic generation;
computational tree logic;
formal specification;
formal verification design;
functional coverage model;
CTL;
Coverage Model;
Error Detection;
Functional Verificati;
86.
Special session - What#x2019;s so intelligent about testbenches?
机译:
特别会议 - 测试台上有什么聪明的聪明?
作者:
Ziv Avi
;
Wilson Chris
;
Hamid Adnan
;
Grosse Joerg
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
87.
Applications of decorator and observer design patterns in functional verification
机译:
装饰器和观察者设计模式在功能验证中的应用
作者:
Karimi Farzin
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
88.
Evaluation of an efficient control-oriented coverage metric
机译:
评估有效的控制定向覆盖度量
作者:
Ramineni Kiran
;
Verma Shireesh
;
Harris Ian G.
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2008年
89.
Automatically adjusting system level designs after RTL/gate-level ECO
机译:
在RTL /门级ECO之后自动调整系统级设计
作者:
Qinhao Wang
;
Yusuke Kimura
;
Masahiro Fujita
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
System-level design;
Manuals;
High level synthesis;
Logic gates;
Inverters;
Hardware design languages;
90.
Deciphering cancer biology using boolean methods
机译:
使用布尔方法解密癌症生物学
作者:
Subarna Sinha
;
David L. Dill
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Cancer;
DNA;
Bioinformatics;
Genomics;
Gene expression;
Lungs;
91.
Log2model: inferring behavioral models from log data
机译:
log2model:从日志数据推断行为模型
作者:
Kasper S. Luckow
;
Corina S. Pasareanu
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Analytical models;
Atmospheric modeling;
Vehicles;
Data models;
Computational modeling;
Computer architecture;
Airports;
92.
Dynamic service synthesis and switching for medical IoT and ambient assisted living
机译:
医疗物联网和环境辅助生活的动态服务综合与交换
作者:
Daniel Yunge
;
Sangyoung Park
;
Philipp Kindt
;
Graziano Pravadelli
;
Samarjit Chakraborty
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
medical computing;
ambient intelligence;
assisted living;
cloud computing;
cyber-physical systems;
Internet of Things;
93.
Clock domain crossing formal verification: a meta-model
机译:
时钟域交叉正式验证:元模型
作者:
Mejid Kebaili
;
Jean-christophe Brignone
;
Katell Morin-Allory
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Synchronization;
Clocks;
Protocols;
Data models;
Libraries;
Hardware;
Pattern matching;
94.
Design centric modeling of digital hardware
机译:
以数字硬件为中心建模
作者:
Johannes Schreiner
;
Rainer Findenigy
;
Wolfgang Ecker
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Unified modeling language;
Hardware;
Analytical models;
Hardware design languages;
Semantics;
Integrated circuit modeling;
Automata;
95.
Formal modeling of biological systems
机译:
生物系统正式建模
作者:
Qinsi Wang
;
Edmund M. Clarke
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Biological system modeling;
Mathematical model;
Computational modeling;
Biological systems;
Petri nets;
Analytical models;
96.
Estimation of formal verification cost using regression machine learning
机译:
使用回归机学习估算正式验证成本
作者:
Eman El Mandouh
;
Amr G. Wassal
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Formal verification;
Complexity theory;
Data models;
Mathematical model;
Cost function;
Feature extraction;
Training;
97.
Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans
机译:
Caenorhabditis elegans的挖掘提取电路的概率可达性分析
作者:
Md. Ariful Islam
;
Qinsi Wang
;
Ramin M. Hasani
;
Ondrej Balun
;
Edmund M. Clarke
;
Radu Grosu
;
Scott A. Smolka
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Neurons;
Integrated circuit modeling;
Grippers;
Computational modeling;
Animals;
Reachability analysis;
Automata;
98.
High-level modeling and verification of cellular signaling
机译:
蜂窝信令的高级建模与验证
作者:
Natasa Miskov-Zivanov
;
Paolo Zuliani
;
Qinsi Wang
;
Edmund M. Clarke
;
James R. Faeder
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Model checking;
Analytical models;
Computational modeling;
Trajectory;
Data models;
Steady-state;
Numerical models;
99.
Modeling, programming and performance analysis of automotive environment map representations on embedded GPUs
机译:
嵌入式GPU上的汽车环境地图表示的建模,编程和性能分析
作者:
Jorg Fickenscher
;
Oliver Reiche
;
Jens Schlumberger
;
Frank Hannig
;
Jurgen Teich
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Graphics processing units;
Sensors;
Vehicles;
Computational modeling;
Algorithm design and analysis;
Two dimensional displays;
Automotive engineering;
100.
Word-level traversal of finite state machines using algebraic geometry
机译:
使用代数几何的有限状态机的字级遍历
作者:
Xiaojun Sun
;
Priyank Kalla
;
Florian Enescu
会议名称:
《IEEE International High Level Design Validation and Test Workshop》
|
2016年
关键词:
Geometry;
Sequential circuits;
Registers;
Integrated circuit modeling;
Reachability analysis;
Model checking;
Boolean functions;
意见反馈
回到顶部
回到首页