掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Formal Methods in Computer-Aided Design, 2009. FMCAD 2009
Formal Methods in Computer-Aided Design, 2009. FMCAD 2009
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
电脑技术
航空计算技术
计算机应用
计算机技术与发展
计算机学报
计算机工程与设计
程序员
自动化博览
数码
自动化技术与应用
更多>>
相关外文期刊
International journal of embedded and real-time communication systems
International journal of e-business research
International journal of intelligent engineering informatics
Journal of supercomputing
COM-SAC
Information and computation
Software and systems modeling
International journal of remote sensing
Computers & Industrial Engineering
ACM Fortran Forum
更多>>
相关中文会议
第九届全国遥感遥测遥控学术研讨会
国际金属管件会议
2003信息保密专业委员会学术年会
全国抗恶劣环境计算机第十九届学术年会
中国系统仿真学会2011年中国仿真大会
第七届中国测试学术会议
中国教育和科研计算机网CERNET第十七届学术年会
2008国际知识技术论坛(IFKT2008)
第四届中国测试学术会议
第八届中国CAE工程分析技术年会暨2012全国计算机辅助工程(CAE)技术与应用高级研讨会
更多>>
相关外文会议
5th International Workshop on Approximation Algorithms for Combinatorial Optimization APPROX 2002, Sep 17-21, 2002, Rome, Italy
Trust, Privacy, and Security in Digital Business
Supercomputing frontiers
Formal grammar
4th international symposium on empirical software engineering and measurement 2010
International Workshop on Algorithms and Models for the Web-Graph(WAW 2004); 20041016; Rome(IT)
IFIP(International Federation for Information Processing) International Conference on Information Technology for Balanced Automation Systems; 20080623-25; Porto(PT)
2018 11th International Conference on Human System Interaction
Advanced internet based systems and applications
Conference on Image Matching and Analysis, Oct 22-24, 2001, Wuhan, China
更多>>
热门会议
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.
Structure-aware computation of predicate abstraction
机译:
谓词抽象的结构感知计算
作者:
Cimatti A.
;
Dubrovin J.
;
Junttila T.
;
Roveri M.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
abstract data types;
formal verification;
hybrid simulation;
CEGAR based verification;
lowlevel rewriting rules;
monolithic abstraction algorithms;
monolithic quantification;
predicate abstraction;
quantifiers scope;
structural information;
structure aware computation;
2.
FMCAD 2009 conference organization
机译:
FMCAD 2009会议组织
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
3.
Verification of recursive methods on tree-like data structures
机译:
验证树状数据结构上的递归方法
作者:
Deshmukh J.
;
Emerson E.A.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
automata theory;
recursive functions;
tree data structures;
tree searching;
trees (mathematics);
acyclicity specification;
algorithmic verification;
balanced tree;
binary search tree;
heap allocated data structure;
k-ary tree;
linked lists reversal;
listness specification;
programming language fragment;
recursive methods verification;
sortedness specification;
tree automata;
tree like data structure;
tree-ness specification;
4.
MCC: A runtime verification tool for MCAPI user applications
机译:
MCC:MCAPI用户应用程序的运行时验证工具
作者:
Sharma S.
;
Gopalakrishnan G.
;
Mercer E.
;
Holt J.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
application program interfaces;
formal verification;
message passing;
multiprocessing systems;
MCAPI user application;
dynamic model checker;
dynamic partial order reduction algorithm;
dynamic verification tool;
multicore communication API applications;
push button model checker;
runtime verification tool;
5.
Industrial
机译:
产业
作者:
Theobald M.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
formal verification;
logic design;
molecular dynamics method;
operating systems (computers);
program debugging;
simulation;
special purpose computers;
Anton design massive parallel;
RTL code;
bug hunting;
deadlock detection;
design verification chip;
formal verification challenges;
industrial experience report;
logic design cycle verification;
molecular dynamics simulations;
root cause analysis;
simulation methods;
special purpose machine;
6.
Finding heap-bounds for hardware synthesis
机译:
寻找堆边界以进行硬件综合
作者:
Cook B.
;
Gupta A.
;
Magill S.
;
Rybalchenko A.
;
Simsa J.
;
Singh S.
;
Vafeiadis V.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
constraint handling;
hardware-software codesign;
tree data structures;
C-to-gates hardware synthesis;
constraint based method;
data structure;
dynamic allocated memory;
hardware synthesis;
heap bound;
memory usage bound;
program generic parameter;
7.
Tutorials
机译:
讲解
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
8.
Verifying equivalence of memories using a first order logic theorem prover
机译:
使用一阶逻辑定理证明器验证存储器的等效性
作者:
Khasidashvili Z.
;
Kinanah M.
;
Voronkov A.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
formal verification;
logic devices;
vectors;
RTL equivalence checking;
address decoders;
axiomatization;
bit vector operations;
first order logic theorem prover;
memory equivalence verification;
9.
Industrial strength refinement checking
机译:
工业强度细化检查
作者:
Bingham J.
;
Erickson J.
;
Singh G.
;
Andersen F.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
formal logic;
formal verification;
hardware description languages;
optimising compilers;
RTL behavioral refinement;
RTL validation;
cache-coherence protocol components;
high level model;
industrial strength refinement checking;
model checking;
register transfer level;
system Verilog;
10.
Panels
机译:
面板
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
11.
Preface
机译:
前言
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
12.
Copyright page
机译:
版权页
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
13.
Mixed abstractions for floating-point arithmetic
机译:
浮点算术的混合抽象
作者:
Brillout A.
;
Kroening D.
;
Wahl T.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
avionics;
error statistics;
floating point arithmetic;
real-time systems;
safety-critical software;
IEEE compliant binary;
avionics industry;
bit accurate sound;
building abstraction formula;
complete decision procedure;
embedded systems;
floating point calculations;
floating point software;
mixed abstractions;
safety critical systems;
14.
Synthesizing robust systems
机译:
综合强大的系统
作者:
Bloem R.
;
Greimel K.
;
Henzinger T.A.
;
Jobstmann B.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
computational complexity;
formal specification;
game theory;
formal specifications;
pseudopolynomial time solution;
ratio games;
robust system synthesis;
15.
Decision diagrams for linear arithmetic
机译:
线性算术决策图
作者:
Chaki S.
;
Gurfinkel A.
;
Strichman O.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
Boolean algebra;
decision diagrams;
digital arithmetic;
program diagnostics;
Boolean manipulation;
difference decision diagrams;
dynamic variable ordering;
linear arithmetic formula;
linear decision diagrams;
open source programs;
program analysis technique;
software model checking technique;
16.
Safety first: A two-stage algorithm for LTL games
机译:
安全第一:LTL游戏的两阶段算法
作者:
Sohail S.
;
Somenzi F.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
deterministic automata;
formal specification;
game theory;
temporal logic;
LTL games;
game theoretic approach;
generalized parity game;
linear temporal logic;
parity acceptance condition;
reactive system synthesis;
safety first algorithm;
system specifications;
17.
Data mining based decomposition for assume-guarantee reasoning
机译:
基于数据挖掘的假设保证推理分解
作者:
He Zhu
;
Fei He
;
Hung W.N.N.
;
Xiaoyu Song
;
Ming Gu
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
data mining;
formal verification;
inference mechanisms;
association rule algorithm;
assume guarantee reasoning;
assume guarantee rule;
automated compositional reasoning verification;
automatic decomposition approach;
data mining based decomposition;
hypergraph partitioning algorithm;
large system verification;
system variable clustering;
18.
Formal verification of analog designs using MetiTarski
机译:
使用MetiTarski正式验证模拟设计
作者:
Denman W.
;
Akbarpour B.
;
Tahar S.
;
Zaki M.H.
;
Paulson L.C.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
Laplace transforms;
analogue integrated circuits;
formal verification;
piecewise linear techniques;
theorem proving;
transfer functions;
MetiTarski;
automatic theorem prover;
closed form solution;
formal verification analog design;
inverse Laplace transform;
piecewise linear modeling;
real valued elementary functions;
small signal analysis;
solution model circuit;
transfer function theory;
19.
Protocol verification using flows: An industrial experience
机译:
使用流程进行协议验证:行业经验
作者:
OLeary J.
;
Talupur M.
;
Tuttle M.R.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
data reduction;
protocols;
cache coherence protocol;
compositional reasoning;
data type reduction;
flows interaction;
industrial protocol;
parameterized correctness;
protocol flows;
protocol verification;
sequencing information value;
20.
Debugging formal specifications using simple counterstrategies
机译:
使用简单的策略调试正式规范
作者:
Konighofer R.
;
Hofferek G.
;
Bloem R.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
errors;
formal specification;
program debugging;
GR formulas;
debugging formal specifications;
error prone process;
extensive form graph;
simple counterstrategies;
single input trace;
21.
A verified platform for a gate-level electronic control unit
机译:
门级电子控制单元的经过验证的平台
作者:
Tverdyshev Sergey
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
22.
Hardware/software co-verification of cryptographic algorithms using Cryptol
机译:
使用Cryptol的加密算法的硬件/软件协同验证
作者:
Erkok L.
;
Carlsson M.
;
Wick A.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
cryptography;
hardware description languages;
program verification;
programming languages;
Skein hash algorithm;
cryptographic algorithms;
formal-methods based tool;
hardware-software co-verification;
high-level Cryptol specification;
programming language;
third-party VHDL implementations;
Equivalence checking;
HW/SW Co-verification;
Specification and Verification;
23.
Interpolation-sequence based model checking
机译:
基于插值序列的模型检查
作者:
Vizel Y.
;
Grumberg O.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
computability;
formal specification;
interpolation;
BDD based symbolic model checking;
SAT-based model checking;
hardware designs;
industrial design verification;
interpolation sequence;
satisfiability;
unbounded model checking;
24.
Keynotes
机译:
主题演讲
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
25.
Enhanced verification by temporal decomposition
机译:
通过时间分解增强验证
作者:
Case M.L.
;
Mony H.
;
Baumgartner J.
;
Kanzelman R.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
computational complexity;
interpolation;
temporal logic;
bounded model checking;
hardware design;
induction method;
interpolation method;
proof capability;
temporal decomposition verification;
transient logic;
26.
Software model checking via large-block encoding
机译:
通过大块编码进行软件模型检查
作者:
Beyer D.
;
Cimatti A.
;
Griggio A.
;
Keremoglu M.E.
;
Sebastiani R.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
Boolean functions;
program verification;
symbol manipulation;
trees (mathematics);
Boolean predicate abstraction;
C programs benchmark;
Cartesian predicate abstraction;
abstract reachability tree;
abstract successor state;
arbitrary Boolean formulas;
control flow graph;
large block encoding;
single block encoding;
software model checking;
software verification;
symbolic representation;
27.
Author index
机译:
作者索引
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
28.
Assume-guarantee validation for STE properties within an SVA environment
机译:
在SVA环境中对STE属性的假设保证验证
作者:
Khasidashvili Z.
;
Gavrielov G.
;
Melham T.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
formal verification;
hardware description languages;
microcomputers;
assume-guarantee validation;
data path verification;
microprocessor execution units;
symbolic trajectory evaluation;
system Verilog assertions;
29.
Retiming and resynthesis with sweep are complete for sequential transformation
机译:
完成扫描重定时和重新合成以进行顺序转换
作者:
Hai Zhou
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
encoding;
sequential circuits;
timing;
Boolean circuit;
one-cycle reachability;
reencoding;
resynthesis;
retiming;
sequential transformation;
sweep;
30.
SAT-based synthesis of clock gating functions using 3-valued abstraction
机译:
使用三值抽象的基于SAT的时钟门控功能综合
作者:
Arbel E.
;
Rokhlenko O.
;
Yorav K.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
clocks;
flip-flops;
network synthesis;
ternary logic;
3-valued abstraction;
SAT;
clock gating functions;
clock network;
digital circuits;
latch;
power reduction technique;
31.
Efficient decision procedure for non-linear arithmetic constraints using CORDIC
机译:
使用CORDIC的非线性算术约束的有效决策程序
作者:
Ganai M.K.
;
Ivancic F.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
computability;
digital arithmetic;
embedded systems;
CORDIC algorithm;
discrete-continuous control system;
embedded control system;
interval search engine;
linear arithmetic;
nonlinear arithmetic constraint;
normalization scheme;
satisfiability modulo theory;
32.
Scalable conditional equivalence checking: An automated invariant-generation based approach
机译:
可扩展的条件等效检查:一种基于自动不变式的方法
作者:
Baumgartner J.
;
Mony H.
;
Case M.
;
Sawada J.
;
Yorav K.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
clocks;
logic design;
logic gates;
automated SEC tools;
automated invariant-generation based approach;
clock-gated pipeline;
scalable conditional equivalence checking;
software engineering;
33.
A compositional theory for post-reboot observational equivalence checking of hardware
机译:
硬件重启后观测等效性检查的组成理论
作者:
Khasidashvili Z.
;
Kaiss D.
;
Bustan D.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
electronic design automation;
formal verification;
assertion based verification;
compositional theory;
flexible compositional theory;
formal equivalence checking;
logic functionality;
models input-output behavior;
post reboot observational equivalence checking;
reboot sequence checking;
scalable algorithm;
specification model;
34.
Generalized, efficient array decision procedures
机译:
通用,高效的阵列决策程序
作者:
de Moura L.
;
Bjorner N.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
decision theory;
formal logic;
theorem proving;
SMT solver Z3;
basic array theory;
combinatory array logic;
efficient array decision procedure;
hardware verification;
satisfiability modulo theory;
software verification;
symbolic analysis;
35.
Scaling VLSI design debugging with interpolation
机译:
通过插值扩展VLSI设计调试
作者:
Keng B.
;
Veneris A.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
VLSI;
integrated circuit design;
interpolation;
SAT-based design debugging algorithm;
algorithm partitions;
error trace;
multiple interpolants;
over-approximate sets;
36.
Connecting pre-silicon and post-silicon verification
机译:
连接硅前和硅后验证
作者:
Ray S.
;
Hunt W.A.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
cache storage;
formal logic;
formal verification;
hardware description languages;
cache system verification;
in-silicon integrity unit;
limited-observability checker;
post-silicon verification;
pre-silicon assertion checker;
pre-silicon verification;
37.
Formal verification of correctness and performance of random priority-based arbiters
机译:
正式验证基于随机优先级的仲裁器的正确性和性能
作者:
Kailas K.
;
Paruthi V.
;
Monwai B.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
asynchronous circuits;
formal verification;
integrated circuit interconnections;
microprocessor chips;
random number generation;
bounded fairness properties;
cache arbiters;
complete random sequence;
interconnection network controllers;
linear feedback shift registers;
microprocessors;
pseudorandom number generators;
random number generators;
random priority-based arbiters;
request-to-grant delays;
three step verification method;
38.
Towards a formally verified network-on-chip
机译:
迈向正式验证的片上网络
作者:
van den Broek T.
;
Schmaltz J.
会议名称:
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》
|
2009年
关键词:
formal verification;
network routing;
network-on-chip;
packet switching;
2D-mesh NoC;
ACL2 theorem proving system;
communication modules;
cross-layer verification;
formal verification methods;
multiprocessor systems-on-chip;
on-chip communication networks;
packet switched NoC;
routing decisions;
specification level;
意见反馈
回到顶部
回到首页