Mahdi Jelodari Mamaghani
"Computer Science is not just about coding to get a job done,
it's also about broader thinking skills like computational thinking
and abstraction and modeling and design."
Simon Peyton Jones
"If you're not comfortable with the unknown, then it's difficult to be a scientist.
So I don't need an answer... I want to have answers to find.
And that's what science is."
I am an EPSRC research fellow at the School Of Computer Science at the University of Manchester, UK. I am a member of the Advanced Processor Technologies group led by Professor Steve Furber. I completed my PhD degree under supervision of Dr James Garside and Dr Vasilis F. Pavlidis. I received my Bachelor's degree in Computer Engineering in 2012 from the University of Tehran under supervision of Prof. Nasser Yazdani. I've also joined the IEEE community in 2010.
What am I working on? Basically I am an Asynchronologist. My research focused on developing EDA Flows and techniques capable of synthesising GALS (Globally Asynchronous Locally Synchronous) systems from Higher-levels of abstraction. In this respect, I leverage asynchronous/elastic techniques to seperate timing from functionality at design stage which simplifies the development process of the heterogeneous SoCs and favours designer's productivity. eTeak is a HLS framework designed during the course of my PhD for this purpose supported under GAELS project (Funded by EPSRC under research grant EP/I038306/1). My latest achievement (De-Elastisation) in this area is recognised as a promising approach toward high-level GALS synthesis by the EDA community in europe. You can also check me out on Uiversity of Manchester's seasonal newsletter: CS Newsletter - Spring 2015
Currently I'm involved in directing the FPGA acceleration framework at Reconfigure.io.My PhD research contributions can be listed as follows:
eTeak group of the University of Manchester supprts Free and Open Source Silicon Fundation (FOSSI).
Collaborate to eTeak by forking the project on Github: eTeak
Currently eTeak is under development. For further information please don't hesitate to contact me.
Awards & Honours
14. Mahdi Jelodari Mamaghani, Rob Taylor, "The Synthesis Path for Transforming "Go" Programs into Hardware Deployable on FPGA-based Cloud Infrastructures," US Patent, App No 62/412,376
13. Ana Lava, Mahdi Jelodari Mamaghani, Siamak Mohammadi, Steve Furber, "Application-aware Retiming of Accelerators: A Data-Driven Approach," (submitted to) IEEE Design and Test Journal - special issue on accelerator design in Data Centers, October 2016.
12. Mahdi Jelodari Mamaghani, Milos Krtic, Jim Garside, "Automatic Clock (AutoCLK): A Promising Approach Towards GALSification," In Proc. of 22nd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), May 2016 PDF (197K) Slides
11. Mahdi Jelodari Mamaghani, Danil Sokolov, Jim Garside, "Asynchronous Dataflow De-Elastisation for Efficient Heterogeneous Synthesis," In Proc. of the 16th International Conference on Application of Concurrency to System Design (ACSD), Poland, June 2016 PDF (524K)
10. Mahdi Jelodari Mamaghani, Jim Garside, Doug Edwards, "De-Elastisation: From Asynchronous Dataflows to Synchronous Circuits," (to appear) IEEE/ACM conference on Design Automation and Test in Europe (DATE), March 2015, Gernoble, France. [DATE Best IP Award Winner] PDF (757K)
9. Mahdi Jelodari Mamaghani, Jim Garside, Will Toms, Doug Edwards, "Optimised Synthesis of Asynchronous Elastic Dataflows by Leveraging Clocked EDA," The Euromicro Conference on Digital System Design (DSD), August 2014, Verona, Italy. PDF (524K)
8. Mahdi Jelodari Mamaghani, Will Toms, Andrew Bardsley, Jim Garside, "Exploiting Synchrony for Area and Performance Improvement in the Asynchronous Domain," Intl. Symposium on Asynchronous Circuits and Systems (ASYNC), May 2014, Potsdam, Germany.
7. Mahdi Jelodari Mamaghani, Jim Garside, "High-level Synthesis of GALS Systems," Workshop on Designing with Uncertainty - Opportunities and Challenges (PAnDA), March 2014, York ,UK.
6. Mahdi Jelodari Mamaghani, Will Toms, Jim Garside, "eTeak: A Data-Driven Synchronous Elastic Synthesiser," Intl. Conference on Application of Concurrency to System Design (ACSD), July 2013, Barcelona, Spain.
5. Stephen A. Edwards, "MEMOCODE 2012 hardware/software cdesign contest: DNA sequence aligner," In Proc of 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), Virginia, US. July 2012.
4. Mahdi Jelodari Mamaghani, Mahan Molkara, Alireza Hoseini, Behnam khodabandeloo, Siamak Mohammadi, "A Centralized RSSI-Based Localization Algorithm for Wireless sensor networks," In Proc. of 4th Natl Conference of Command, Control, Communications, Computers and Intelligence (IC4I), Tehran, Iran. November 2011.
3. Alireza Hoseini, Behnam khodabandeloo, Mahdi Jelodari Mamaghani, Siamak Mohammadi, "Hardware and Software Implementation of a Wireless Sensor Node (WSN) with High Flexibility," In Proc. of 4th National Confeence of Command, Control, Communications, Computers and Intelligence (IC4I), Tehran, Iran. November 2011.
2. Alireza Hoseini, Mahdi Jelodari Mamaghani, Behnam khodabandeloo, Mahan Molkara, Nasser Yazdani, "WNA: Wireless Network Analyzer for High Throughput Wireless LANs," In Proc. of 5th Int'l Symp of Telecommunication (IST), Iran Telecommunication Research Center, Tehran, Iran. December 2010.
1. Alireza Hoseini, Behnam khodabandeloo, Mahdi Jelodari Mamaghani, Peyman Teymoori, Nasser Yazdani, "High Throughpu Low Power CCMP Architecture for Very High Speed Wireless LAN," In Proc. of 15th CSI Int'l Symp. of Computer Architecture and Digital Systems (CADS), IPM, Tehran, Iran. September 2010.
News & Updates
[USC Visiting Scholar]Back to the UK from LA. Had a great time working with the VLSI/CAD lab of USC under Prof. Peter Beerel.
Will be an exchange researcher under Prof. Peter Beerel @ University of Southern California for couple of months. I will be working on Dynamic Architecture Scaling at CAD/VLSI group.
Visiting Computer Laboratory in Cambridge University, UK.
Submitted our first U of Manchester- U of Tehran collab paper to Memocode 2016.
[PhD Degree Award]Officially graduated from the University of Manchetser.
Attended in Alex Yakovlev's Festschrift event in Newcastle. Was great to meet Prof Peter Chaung and asynchronous folk again.
Attending ACSD'16 in Torun, Poland. Will be presenting my paper and possibly demonstrating eTeak which is open source now and is available to public.
Industrial-Academic collaboration between the University of Manchester (APT) and Codethink LTD. (Nerabus) is established.
Visited the Router research laboratory at Tehran University. Also explored the possiblities for collaboration toward HW infrastructure development with Prof. Nasser Yazdani.Updated on 17th April 2016
At EPSRC workshop on research sandpit our team won the best research proposal on "Maintaining and improving life style as a solution to the aging problem in UK"
[IHP - Visiting Researcher]Visited IHP Microelectronis in Germany, and gave a talk on eTeak synthesis framework. I and Dr Milos Krstic also discussed the possiblities on automatic GALSification. Meanwhile our paper entitiled "Automatic Clock: A Promising Approach Toward GALSification" got accepted to ASYNC 2016.
[ACSD'2016]Our paper entitiled "Asynchronous Dataflow De-Elastisation for Efficient Heterogeneous Synthesis" got accepted to ACSD. This work was a collaboration with the University of Newcastle.
Attended at DATE 2016. Congradulation to my friend, Abbas Rahimi, for winnnig the Best PhD Thesis Award this year! I did a demo on eTeak at University Booth entitiled "ASYNCHRONOUS DATAFLOWS SYNTHESIS ONTO FPGAS USING THE eTEAK FRAMEWORK".
[PhD-viva]Passed the viva (aka PhD defense exam) successfully with Aii. Thanks to Prof. Jordi Cortadella for his valuable feedback.
Submitted the thesis entitled: High-level Synthesis of Elasticity: From Models to Circuits.
As Rob Pike clearly presented in his talk "Concurrency is not parallelism" and I believe this has become obvious for hardware folks in the past decade, particularly for high-level synthesis community. In this regard I have developed a CSP-model of the prime generator which has been the favorite example of the go community in the past 20 years. I have synthesised the model into hardware and the results comparing the software implementation against hardware counterpart will be released soon!
[EPSRC Doctoral Prize Fellowship] Today I was awarded the EPSRC Doctoral Prize Fellowship! This research grant, starting from December 1st, is allocated to my proposal entitled "Energy-centric Synthesis of GALS Systems". This valuable chance by the University of Manchester allows me to pursue a career in research.
Media Training Course @ EPSRC Head Office in Swindon towards the UK ICT Pioneers 2015.
[UK ICT Pioneers 2015] Selected proposal for the final round of UK ICT Pioneers 2015 to be held in QE II Conference Center in London on October 29th.
Started collaborating with the DSD Lab under Dr Mohammadi, the University of Tehran.
eTeak page just updated and the latest version of eTeak is avaliable to download.
Back from Newcastle. Had a very productive meeting with Prof. Yakovlev on the "eTeak as a Framework" subject.
Selected for the 2nd round of the UK ICT Pioneers Competition.
The first seminar of "By PhD students for PhD students" got organised by Mentors team succsessfully.
Back from RAL (Rutherford Appleton Laboratory) took a course on Xilinx Vivado (High Level Synthesis) design suite. Also got a ZYBO board for free which has a Zync-7000 FPGA on it with an ARM cortex-9 dual-core processor and additional CLBs. I think it's big enough to let me look at Synchronous Elastic + De-Elastisised SoCs.
I would like to wish everyone a fantástica 2015 and may all your new year's resolutions (particularly thesis write ups) come true :-)
[MICRO'14] I'm back from Cambridge, attended Micro'14. I also participated in the Hot Debate. The proposition was: It is the end of the road for the von Neumann architecture. I was quite amused with this debate. Among bebaters were Steve Furber supporting the modern architectures and Yale Patt from the opposite party supporting the von Neumann architectures (sequential systems). And my vote was a Yes! to the modern architecture.
Mission accomplished. The paper titled "Empirical Evaluation of Asynchronous Dataflow De-Elastisation vs. Synchronous High-level Synthesis", submitted to a conference... :)
I presented my work today @ the University of Manchesters' Research Symposium. Apparently the school has not considered a 'Best Presenter Award' this year, which totally pissed me off! :) btw, The slides will be available here soon.
Task accomplished: A paper entitled "De-Elastisation: From Asynchronous Dataflows to Synchronous Cicruits" submitted to a conference.
The paper entitled "Optimised Synthesis of Asynchronous Elastic Dataflows by Leveraging Clocked EDA" presented @ the 17th EuroMicro Conference on DSD'14. PDF (173K)
The De-Elasticised verion of the SSEM processor runs almost 3x faster than its asynchronous counterpart. For more information please wait for the next publication! :)
Passed the second year Viva successfully! :)
[DSD'14 - eScholarID:232298] The paper entitled "Optimised Synthesis of Asynchronous Elastic Dataflows by Leveraging Clocked EDA" got accepted in the Euromicro Conference on Digital System Design 2014. PDF (1046K)
Back from the Async'14. Now on, you can follow the updates on eTeak from here:
You can also check eTeak Demo @ ASYNC 2014. In this video a brief introduction to eTeak is given including 1) a protocol-level post-simulation visual environment based on the synchronous elastic protocol, and 2) Make FSM: which provides eTeak a mechanism to explore the design space by transforming handshake-based fine-grained structures to RTL-based FSMs through re-synthesis.
Task accomplished: Just submitted my work to the Euromicro Conference on Digital System Design 2014. For more information please wait for the next update :-)
Granted a £200 bursary from the Designing with Uncertainty - Opportunities & Challenges workshop towards Travel and Accommodation costs.
Currently I am working on a De-Elastisiser/RTL Transformer. A systematic optimisation engine to remove the fine-grained elasticity away using synchronous EDAs. I hope eventually will end up with a synthesisable polychronous framework capable of synthesising the integration of synchrony and asynchrony. The coolest part is that the designer will be able to use a unified language to fulfil this integration.
Synchronous Elastic Sparkler runs @ 1.6GHz. Sparkler is a cut-off version of SPARC v8 architecture. The Balsa description of it is implemented by Andrew Bardsley in almost 1k lines of Balsa in 2007.
My first case study was the Manchester Small-Scale Experimental Machine (SSEM), world's first stored-program computer. The Balsa description for SSEM is developed by Andrew Bardsley and it has been synthesised and tested through the Balsa synthesis system. Now I have a synchronous elastic version of it which means you don't need to be concerned about communication and computation delays. It's latency insensitive! It runs @ 740MHz with an effective CPU speed of 41.6 MIPS. Yes 38K faster than the first verion which came out in 1948!
Presented a poster in the School's Research Symposium which was sponsored by IBM. The poster propses the general idea of my research. PDF (316K)
Submitted my first year report entitled "High-Level Synthesis of Elastic Logic". It will become available online after the review process.
[ACSD'13 - eScholarID: 210181] eTeak emerged as a Synchronous Elastic Synthesis System to transform the Fine-grained Dataflow networks from the asynchronous domian to the synchronous domain.
eTeak: A Data-driven Synchronous Elastic Synthesiser PDF (130K)
My Phd start off!