​
Login / Signup
Amad Ul Hassen
ORCID
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 7
Top Topics
Logic Synthesis
Binary Decision Diagrams
Program Synthesis
Memory Requirements
Top Venues
NANOARCH
ISCAS
IEEE Trans. Circuits Syst. II Express Briefs
NEWCAS
</>
Publications
</>
Amad Ul Hassen
,
Fahad Ahmed Khan
An Adaptive Metric for Node Substitution-Based BDD Minimization.
ISCAS
(2021)
Amad Ul Hassen
,
Salman Anwar Khokhar
Approximate in-Memory Computing on ReRAM Crossbars.
MWSCAS
(2019)
Salman Anwar Khokhar
,
Amad Ul Hassen
Synthesis of Approximate Logic on Memristive Crossbars.
NEWCAS
(2019)
Amad Ul Hassen
,
Salman Anwar Khokhar
,
Haseeb Aslam Butt
,
Sumit Kumar Jha
Free BDD based CAD of Compact Memristor Crossbars for in-Memory Computing.
NANOARCH
(2018)
Amad Ul Hassen
,
Dwaipayan Chakraborty
,
Sumit Kumar Jha
Free Binary Decision Diagram-Based Synthesis of Compact Crossbars for In-Memory Computing.
IEEE Trans. Circuits Syst. II Express Briefs
(5) (2018)
Amad Ul Hassen
Automated synthesis of compact multiplier circuits for in-memory computing using ROBDDs.
NANOARCH
(2017)
Amad Ul Hassen
,
Brigadesh Chandrasekar
,
Sumit Kumar Jha
Automated synthesis of stochastic computational elements using decision procedures.
ISCAS
(2016)