Atif Yasin - Citegraph

Author Info

Name	Affiliation	Papers
ATIF YASIN	ECE Department, University of Massachusetts, Amherst, USA	5
Collaborators	Citations	PageRank
10	1	1.72
Referers	Referees	References
4	69	33

Publications (5 rows)

Collaborators (10 rows)

Referers (4 rows)

Referees (69 rows)

Title	Citations	PageRank	Year
SPEAR: Hardware-based Implicit Rewriting for Square-root Circuit Verification	0	0.34	2020
Dual Approach to Solving SAT in Hardware	0	0.34	2020
Functional Verification of Hardware Dividers using Algebraic Model	0	0.34	2019
Rewriting Environment for Arithmetic Circuit Verification.	0	0.34	2018
Formal Verification of Truncated Multipliers Using Algebraic Approach and Re-Synthesis	1	0.37	2017

1