I graduated from Sharif University of Technology with BSc (2009) and MSc (2012) in Electrical Engineering-Electronics. My master thesis was design and implementation of time and frequency synchronizer applied to down-link of LTE. Currently, I am working in Sharad's group as a PhD student, where my research is building a general mathematical…

I am currently working on applying the instruction-level abstraction (ILA) methodology to solve the software/hardware co-verification problem in systems-on-chip (SoC). ILA is a formal model that abstracts hardware modules at the architecture level and describes hardware functionalities as a set of instructions, as in processors. This…

I finished my freshman and sophomore study in Zhejiang University in China. Then, in the summer of 2011, I transferred to University of Illinois at Urbana-Champaign (UIUC) in the USA. I received my Bachelor’s Degree in Electrical and Computer Engineering from UIUC last May. This multicultural experience gives me fresh thoughts and strong…

Equivalence checking can be used to ensure the correctness of hardware by comparing one implementation with another correct implementation or specification. This equivalence is not necessarily a cycle-to-cycle matching. Our methodology adopts the Instruction-level Abstraction (ILA) to model accelerators from the perspective of their…