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

All Forthcoming Congresses

Conferences

All Forthcoming Conferences

169 days remaining to submit papers to MIC-Architecture 2021 in Aqaba, Jordan
Users Links
User Information
  • Summary
  • Papers
  • Chairings
  • Committees
  • Reviews
  • Talks
Summary Information of Ms. Manayer Almehteb
Name Ms. Manayer Almehteb
Affiliation Kuwait University,
Kuwait,
Kuwait
Topics Formal Verification of Integrated Circuits
Integrated Circuit Verification and Testing
Biography This paper presents a methodology of 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. Experimental results win by several order of magnitude in area consumption were the used area is almost 50% less than other compared approaches. However, our methodology fails to prove its efficiency in terms of CPU run time.
User Since Thursday, 23 July 2020
User Page Views 143
User Contribution Index (UCI) 0.2128
Published Papers of Ms. Manayer Almehteb
Paper IDPaper TitleConferenceDates and Location
29.Cnf-1166Dr. Sa'ed Abed
Ms. Manayer Almehteb
Prof. Wathiq Masnsoor
Dr. Amjad Gawanmeh
Verification of Non-linear Arithmetic Circuits using Functionally Reduced And-Inverter-Graph (FRAIG)
MIC-ElectricApps 20204-6 September 2020 (Remotely) in Valencia, Spain
Conference Chairings of Ms. Manayer Almehteb
Conference Committees of Ms. Manayer Almehteb
Paper Reviews by Ms. Manayer Almehteb
There are no registered reviews of Ms. Manayer Almehteb
Conference Talks by Ms. Manayer Almehteb