2017 29th International Conference on Microelectronics (ICM)最新文献_第9页

Effect of oxygen pressure on the semiconductor properties of FTO thin films 氧压对FTO薄膜半导体性能的影响

2017 29th International Conference on Microelectronics (ICM) Pub Date : 2017-12-01 DOI: 10.1109/ICM.2017.8268835

Ali Hamieh, Jihad Hamieh, A. Hamie, A. Ghorayeb, A. Zaiour, B. Assaf

引用次数: 0

A pure hardware k-SAT solver architecture for FPGA based on generic tree-search 基于通用树搜索的FPGA纯硬件k-SAT求解器体系结构

2017 29th International Conference on Microelectronics (ICM) Pub Date : 2017-12-01 DOI: 10.1109/ICM.2017.8268894

K. Bousmar, F. Monteiro, Z. Habbas, S. Dellagi, A. Dandache

{"title":"A pure hardware k-SAT solver architecture for FPGA based on generic tree-search","authors":"K. Bousmar, F. Monteiro, Z. Habbas, S. Dellagi, A. Dandache","doi":"10.1109/ICM.2017.8268894","DOIUrl":"https://doi.org/10.1109/ICM.2017.8268894","url":null,"abstract":"SAT (Boolean SATisfiability Problem) is a well studied type of NP-complete problem. Most SAT solvers rely on software implemented tree-search based algorithms. These algorithms, basically sequential or weakly parallel, are most often ineffective when dealing with large scale instances of SAT due to the large search space to be explored in order to find one solution. Despite several improvements and heuristics being proposed for this kind of approach, the fact remains that in real problems, the computational cost continues to be prohibitive. To improve SAT solvers performance, a new trend has emerged in the late years, introducing hardware acceleration. The proposed architectures are in general hybrid, combining software and hardware parts dedicated respectively to the decisional and hard-computional parts of the algorithm. Still, most the hybrid approaches remain constrained by their limited data-access bandwith capacity. In this paper, we propose a new approach, entirely based on hardware and not depending on the SAT-instance to be solved (treated as data). It is fully configurable at synthesis in regard to the level of parallel computation and parallel buffering, as to the size of the SAT instance that can be processed (maximal number of variables and maximal clause length, the total number of clauses being unlimited). One of the main goals is to allow a more effective use of the hardware computational power by reducing the dependence to data contained in low bandwith data storage (such as RAM).","PeriodicalId":115975,"journal":{"name":"2017 29th International Conference on Microelectronics (ICM)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117220300","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}

引用次数: 3

A two-step de-embedding method valid up to 110 GHz 一种有效频率为110 GHz的两步去嵌入方法

2017 29th International Conference on Microelectronics (ICM) Pub Date : 2017-12-01 DOI: 10.1109/ICM.2017.8268811

J. Bazzi, H. Kassem, A. Curutchet, F. Pourchon, N. Derrier, D. Céli, T. Zimmer

引用次数: 0

FPGA implementation of fractional-order integrator and differentiator based on Grünwald Letnikov's definition 基于gr<s:1> nwald Letnikov定义的分数阶积分器和微分器的FPGA实现

2017 29th International Conference on Microelectronics (ICM) Pub Date : 2017-12-01 DOI: 10.1109/ICM.2017.8268872

M. Tolba, L. Said, A. Madian, A. Radwan

引用次数: 19

FPGA implementation of resistor network for fast segment line detector 电阻网络快速分段线检测器的FPGA实现

2017 29th International Conference on Microelectronics (ICM) Pub Date : 2017-12-01 DOI: 10.1109/ICM.2017.8268837

A. Abdallah, D. Felici, G. Aielli, R. Cardarelli

引用次数: 2

Design of sixth order butterworth Gm-C filter using Particle Swarm Optimization program for biomedical application 生物医学用六阶butterworth Gm-C滤波器的粒子群优化设计

2017 29th International Conference on Microelectronics (ICM) Pub Date : 2017-12-01 DOI: 10.1109/ICM.2017.8268842

Dalila Laouej, H. Daoud, M. Loulou

引用次数: 8

A CMOS low-power wider band Gm-C notch filter for EEG 一种用于脑电图的CMOS低功耗宽带Gm-C陷波滤波器

2017 29th International Conference on Microelectronics (ICM) Pub Date : 2017-12-01 DOI: 10.1109/ICM.2017.8268888

J. A. Costa, T. Pimenta

引用次数: 4

A new architecture of energy management applied to hybrid renewable energy system 一种应用于混合可再生能源系统的新型能源管理体系结构

2017 29th International Conference on Microelectronics (ICM) Pub Date : 2017-12-01 DOI: 10.1109/ICM.2017.8268877

Z. Sabiri, N. Machkour, Elm. Kheddioui, Abdellah Ailane, M. Tabaa

引用次数: 2