Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)最新文献_第2页

MODD for CF: a representation for fast evaluation of multiple-output functions CF的MODD:用于快速评估多个输出函数的表示

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) Pub Date : 2004-11-10 DOI: 10.1109/HLDVT.2004.1431237

T. Rajaprabhu, Ashutosh Kumar Singh, A. Jabir, D. Pradhan

引用次数: 6

Validation of the dependability of CAN-based networked systems 基于can的网络系统可靠性验证

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) Pub Date : 2004-11-10 DOI: 10.1109/HLDVT.2004.1431262

Fulvio Corno, J. P. Acle, M. Ramasso, M. Reorda, M. Violante

引用次数: 7

Mutation-based validation of high-level microprocessor implementations 基于突变的高级微处理器实现验证

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) Pub Date : 2004-11-10 DOI: 10.1109/HLDVT.2004.1431242

J. Campos, H. Al-Asaad

引用次数: 7

ATPG based functional test for data paths: application to a floating point unit 基于ATPG的数据路径功能测试:应用于浮点单元

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) Pub Date : 2004-11-10 DOI: 10.1109/HLDVT.2004.1431230

I. Bayraktaroglu, M. d'Abreu

引用次数: 2

Driving the intelligent testbanch: are we there yet? 驾驶智能汽车:我们到了吗?

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) Pub Date : 2004-11-10 DOI: 10.1109/HLDVT.2004.1431271

H. Foster

引用次数: 0

Variable ordering for taylor expansion diagrams 泰勒展开图的变量排序

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) Pub Date : 2004-11-10 DOI: 10.1109/HLDVT.2004.1431235

D. Gomez-Prado, Q. Ren, S. Askar, M. Ciesielski, E. Boutillon

引用次数: 13

Exploiting hypergraph partitioning for efficient Boolean satisfiability 利用超图划分高效布尔可满足性

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) Pub Date : 2004-11-10 DOI: 10.1109/HLDVT.2004.1431257

V. Durairaj, P. Kalla

引用次数: 12

Dynamic analysis of constraint-variable dependencies to guide SAT diagnosis 约束变量相关性的动态分析指导SAT诊断

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) Pub Date : 2004-11-10 DOI: 10.1109/HLDVT.2004.1431256

V. Durairaj, P. Kalla

{"title":"Dynamic analysis of constraint-variable dependencies to guide SAT diagnosis","authors":"V. Durairaj, P. Kalla","doi":"10.1109/HLDVT.2004.1431256","DOIUrl":"https://doi.org/10.1109/HLDVT.2004.1431256","url":null,"abstract":"An important aspect of the Boolean satisfiability problem is to derive an ordering of variables such that branching on that order results in a faster, more efficient search. Contemporary techniques employ either variable-activity or clause-connectivity based heuristics, but not both, to guide the search. This paper advocates for simultaneous analysis of variable-activity and clause-connectivity to derive an order for SAT search. Preliminary results demonstrate that the variable order derived by our approach can significantly expedite the search. As the search proceeds, clause database is updated due to added conflict clauses. Therefore, the variable activity and connectivity information changes dynamically. Our technique analyzes this information and recomputes the variable order whenever the search is restarted. Preliminary experiments show that such a dynamic analysis of constraint-variable relationships significantly improves the performance of the SAT solvers. Our technique is very fast and this analysis time is a negligible (in milliseconds) even for instances that contain a large number of variables and constraints. This paper presents preliminary experiments, analyzes the results and comments upon future research directions.","PeriodicalId":240214,"journal":{"name":"Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129433871","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

CNF formula simplification using implication reasoning 使用蕴涵推理简化CNF公式

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) Pub Date : 2004-11-10 DOI: 10.1109/HLDVT.2004.1431255

Rajat Arora, M. Hsiao

引用次数: 4

An event-based network-on-chip monitoring service 基于事件的片上网络监控服务

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) Pub Date : 2004-11-10 DOI: 10.1109/HLDVT.2004.1431260

C. Ciordas, T. Basten, A. Radulescu, K. Goossens, J. V. Meerbergen

引用次数: 53