基本信息
views: 1
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
Atif Yasin received the B.S. degree from the Lahore University of Management Sciences, Lahore, Pakistan, in 2014 and the M.S. degree from Utah State University, Logan, UT, USA, in 2016. He is currently pursuing the Ph.D. degree with the University of Massachusetts Amherst, Amherst, MA, USA.
He was also a Summer Research Intern with the SG Group, Synopsys, Boxborough, MA, USA, in 2017 and the DG Group, Synopsys, Marlborough, MA, USA, in 2018. His current research interest includes formal verification of hardware dividers, amongst other arithmetic circuits.
Mr. Yasin was a recipient of the Richard Newton Young Fellow Award at DAC 2016.
Research Interests
Papers共 15 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
SMACDpp.1-4, (2023)
2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)pp.94-99, (2022)
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn