Mosharaka for Research and Studies
Login/Sign Up
Main Menu
Papers Menu
Quick Links
Next Congress
Congresses

All Forthcoming Congresses

Conferences

All Forthcoming Conferences

MechaniTek 2024 will be held in Athens
Papers Links
  • Browse
  • Subjects
  • Years
  • GC-ElecEng 2020
  • 29.Cnf-1166
Congresses with Published Papers
Papers Published at GC-ElecEng 2020
All 9 Papers
IDAuthors and TitlePages
29.Cnf-105 Dr. Alex Vukovic
Ms. Ayat Alrjoub
Furthering Innovation in Hyper Communication Era
1-5
29.Cnf-113 Prof. Càndid Reig
Dr. Maria-Dolores Cubells-Beltran
Mr. Javio Sanchis-Muñoz
Prof. Fernando Pardo
Dr. Jose A. Boluda
Dr. Francisco Vegara
Dr. Susana Cardoso
Address Event Representation (AER) approach to resistive sensor arrays
6-9
29.Cnf-220

GS Citations

Prof. Cebrail Ciflikli
Mr. Kadir Aba
Implementing low cost and secure data transmission layer for image transmission in wireless sensor network
10-14
29.Cnf-221 Mrs. Aicha Mchbal
Dr. Naima Amar Touhami
Dr. El Ftouh Hanae
Dr. Aziz Dkiouak
Four-element UWB MIMO Antenna Design
15-20
29.Cnf-313 Dr. Joan Bas
Dr. Alexis Dowhuszko
Linear Time-Packing Detectors for Optical Feeder Link in High Throughput Satellite Systems
21-26
29.Cnf-1144 Mrs. Fériel Boulfani
Dr. Xavier Gendre
Prof. Anne Ruiz-Gazen
Mrs. Martina Salvignol
Anomaly detection for aircraft electrical generator using machine learning in a functional data framework
27-32
29.Cnf-1145 Mr. Nabil Morri
Dr. Sameh Hadouaj
Mr. Lamjed Ben Said
Towards an Intelligent control system for public transport traffic efficiency KPIs optimization
33-37
29.Cnf-1146 Mr. Ismail Moufid
Prof. Hassane El Markhi
Hassan El Moussaoui
Lamhamdi Tijani
Distribution network reconfiguration for power loss minimization using soft open point
38-42
29.Cnf-1147 Dr. Shaobo Chen
Dr. Hongwei Liu
UWB slot antenna on shielding can for high accuracy positioning application
43-45
29.Cnf-1166 Paper View Page
Title Verification of non-linear arithmetic circuits using functionally reduced and-inverter-graph (FRAIG)
Authors Dr. Sa'ed Abed, Kuwait University, Kuwait, Kuwait
Ms. Manayer Almehteb, Kuwait University, Kuwait, Kuwait
Prof. Wathiq Masnsoor, University of Dubai, Dubai, UAE
Dr. Amjad Gawanmeh, University of Dubai, Dubai, UAE
Abstract This paper presents a methodology for verifying non-linear arithmetic circuits by applying diffident concepts. In our proposed methodology, combination of gate-level netlist, Functionally Reduced And-inverter Graph (FRAIG) and Taylor Expansion Diagram (TED) will be used to verify that the implementation satisfies the specification. Backward algebraic rewriting technique is used for function extraction of the word-level abstraction. Gate-level netlist is used to form FRAIG graph which will be verified via TED representation. Our work will focus on the complex verification process of multiplier and alternatives of the traditional AIG for arithmetic circuits. Experiments were conducted on both post and pre synthesized non-linear arithmetic circuit of various multipliers such as Booth and CSA. The results win by several order of magnitude in area consumption were the used area is almost 50% less than other compared approaches with a slight increase in CPU run time.
Track Electronics: Electronic Engineering and Applications
Conference 1st Mosharaka International Conference on Emerging Applications of Electrical Engineering (MIC-ElectricApps 2020)
Congress 2020 Global Congress on Electrical Engineering (GC-ElecEng 2020), 4-6 September 2020, Valencia, Spain
Pages --1
Topics Integrated Circuit Verification and Testing
Formal Verification of Integrated Circuits
ISSN 2227-331X
DOI
BibTeX @inproceedings{1166ElecEng2020,
title={Verification of non-linear arithmetic circuits using functionally reduced and-inverter-graph (FRAIG)},
author={Sa'ed Abed, and Manayer Almehteb, and Wathiq Masnsoor, and Amjad Gawanmeh},
booktitle={2020 Global Congress on Electrical Engineering (GC-ElecEng 2020)},
year={2020},
pages={--1},
doi={}},
organization={Mosharaka for Research and Studies} }
Paper Views 48 Paper Views Rank 168/524
Paper Downloads 18 Paper Downloads Rank 243/524
GC-ElecEng 2020 Visits: 32796||MIC-ElectricApps 2020 Visits: 22699||Electronics Track Visits: 3745