ECE Mail Courses CMS Login  
University of Tehran
College of Engineering
Siamak Mohammadi

Siamak Mohammadi


School of Electrical & Computer Engineering
Assistant Professor
Email: smohamadi [AT] ut.ac.ir
Personal Website:
Education
Ph.D.: 1996, Electrical Engineering, University of Paris Sud, Orsay, France
M.Sc.: 1992, Electrical Engineering, University of Paris Sud, Orsay, France
B.Sc.: 1990, Electrical Engineering, University of Paris Sud , Orsay, France

Research Interests
Functional and Formal Verification
Asynchronous Circuits Design
Integrated System Design
VLSI Design

Courses
Design Validation of HDL Models
Asynchronous Design
Hardware Software Codesign
Introduction to computing systems

Selected Publications
1) M.H Neishaburi, M. Daneshtalab, M. Nabi, S. Mohammadi, "Coverage Directed Test Generation at Transaction Level Modeling", AICCSA, IEEE Press, Amman, Jordan, May 2007, pp. 500-505.

2) M.H Neishaburi, M. R. Kakoee, M.Daneshtalab, S. Mohammadi, "Novel Approach for System Level Voltage Scheduling Technique", ICEE, Tehran, Iran, May 2007.

3) M. Daneshtalab, A. Afzali-Kusha, S. Mohammadi, "Distributing Congestions in NoCs through a Dynamic Routing Algorithm based on Input and Output Selections", in Proceedings of 20th VLSID, IEEE Press, India, Jan 2007, pp. 546-550.

4) M. Riazati, S. Mohammadi, Z. Navabi, "Non-overlapping Set of Efficient Assertions", in Proceedings of 24th Norchip, IEEE Press, Linkoping, Sweden, Nov. 2006, pp. 201-204.

5) M. Riazati, S. Mohammadi, A. Afzali-Kusha, Z. Navabi, "Improved Assertion Lifetime via Assertion-Based Testing Methodology", in 18th International Conference on Microelectronics, ICM 2006, IEEE Press, Saudi Arabia, 16-19 Dec. 2006, pp. 48 - 51

6) M. Riazati, S. Mohammadi, Z. Navabi, "Assertion Efficiency Assessment Method", in 7th Workshop on RTL and High Level Tesiting, Fukuoka, Japan, Nov. 23-24, 2006, pp 107-110

7) M. Daneshtalab, A. Afzali-Kusha, S. Mohammadi, O. Fatemi, "Minimizing Hot Spots in NoCs through a Dynamic Routing Algorithm based on Input and Output Selections", in Proceedings of 8th SOC, IEEE Press,Tampere, Finland, Nov 2006, pp. 1-4.

8) Siamak Mohammadi, Steve Furber and Jim Garside, "Designing robust asynchronous circuit components", IEE Proc. â€" Circuits, Devices and Systems, Vol. 150, No3, June 2003, pp. 161-166

9) Siamak Mohammadi, Francis Devos et al., "Current-sensing device for completion detection", International Journal of Electronics, volume 85, number 3, 1998, pp. 337-344

10) J. Garside, W. Bainbridge, A. Bardsley, D. Clark, D. Edwards, S. Furber, J. Liu, D. Lloyd, S. Mohammadi, J. Pepper, O. Petlin, S. Temple, J. Woods, "AMULET3i â€" an Asynchronous System-on-Chip", Proceedings Async 2000, pp. 162-175, IEEE Computer Society Press, April 2000

11) Siamak Mohammadi, Didier Dulac, Alain M?©rigot, "A new massivelly parallel architecture relying on asynchronous communications", 2nd Euromicro Workshop on parallel and distributed processing, IEEE Computer Society Press, Malaga, Spain, 26-28 January 1994, pp. 58-63

12) M. Daneshtalab, A. Pedram, A. Afzali-Kusha, S. Mohammadi, "A New Fair Dynamic Routing Algorithm for Avoiding Hot Spots in NoCs", in Proceedings of ISCIT, IEEE Press, Bangkok, Thailand, Oct 2006, pp. 237-241.