فارسی | En

From simple home appliances to space shuttles, embedded systems are widely used. With the ever increasing complexity of embedded systems, design, verification and debug of such systems is becoming more and more challenging. Design of a complex embedded system requires engineering teams, precise plans and schedules, heavy computer simulations, and verification both before and after fabrication. At Design, Verification and Debug of Embedded Systems (DVDES) Lab., we’re continuously looking for ways to facilitate the embedded system design flow through development of new tools and methods for fast realization of reliable high-performance embedded systems. With today’s complex systems, 70% of total design time consists of their verification and debug. DVDES Lab. aims to cut off this share by incorporating dynamic, assertion-based and formal verification steps in its tools and methods.



Students


PhD Students


MohamadReza Azarbad

PhD Candidate

Email: mohammadreza.azarbad@gmail.com

The ever growing complexity of digital system designs and the critical role of products time-to-market increase the demand for high level synthesis (HLS). Existence of various transformations in HLS makes it an error-prone process in which any bug will propagate to lower abstraction levels and can lead to enormous damages. So, equivalence checking between the high level description and the generated RTL is of great matter of concern. In my dissertation, new formal methods are proposed to verify the equivalence of a given high level description and its implementation considering the scalability issue as well as the false negative problem in this context.


Seyed Reza Sharafinejad

PhD Candidate

Email: r.sharafi@ut.ac.ir

The power consumption is one of the important considerations and constraints in the modern processor’s design, so that portable devices must have limited power budget to extend battery life, reduce noise and heat impacts and increase reliability. In order to meet the stringent power budgets of low-power digital designs, several power management techniques such as clock gating, power gating and dynamic voltage frequency scaling (DVFS) have been used in industrial practice. As a result, adding the power management techniques to a design has caused new bugs in the verification task in addition to traditional functional bugs. Also, whatever these techniques become more complex, the verification of these designs is faced more serious challenges. The focus of this thesis project is on two goals, simultaneously: 1) ensuring the correctness of the design after insertion of power management parts so that functionality of the design doesn’t change. The golden reference for this goal is a specification model without power features while the implementation model is a low-power pipelined processor with several power management strategies. 2) Checking the accuracy applying of high-level power strategies to the low-level power control circuitry defined in the UPF.


Siamack BeigMohammadi

PhD Candidate

Email: siamackbm@yahoo.com

Pre-silicon verification methods provide full coverage over circuit states which accelerates further bug localization and debugging processes. However, with ever increasing design complexity and reduced time-to-market some bugs escape to silicon. Thus, post-silicon verification and debug which runs orders of magnitude faster- is becoming crucial. The main challenge with post-silicon debug is limited observability of internal circuit nodes to which several solutions have been proposed. The goal of my thesis is to facilitate post-silicon verification and debug through development of new tools and techniques.


Masoud shiroei

PhD Student

Email: shiroei@ut.ac.ir

VLSI circuit design and synthesis processes are error prone. Consequently, verification, bug localization and correction methodologies in different level of abstraction are developed by researches. Even in well designed circuits, modification due to Engineering Change Order (ECO) is probable. The complete VLSI circuit design process from high-level specification to layout is a time consuming and costly process. Consequently, partial synthesis methodologies in different abstraction level are developed to modify designs in lower cost and less time. Short time to market and ever-growing design complexity made industry to develop and apply high-level synthesis methodologies. My thesis is about developing a partial high-level synthesis methodology. Currently, I am developing an ECO mitigating technique for designs at Register Transfer Level (RTL) based on partial high-level synthesis.


Mehrnaz Ahmadi

PhD Candidate

Email: m.ahmady@ut.ac.ir

The demand for high performance designs which are not susceptible to variations has been significantly increasing over the past few years. Traditionally, in worst case design methodology the maximum allowable frequency (MAF), in which a circuit works correctly, is computed based on the delay of the longest paths (critical paths) in the circuit. My thesis is intended to investigate new techniques to improve the performance of digital circuits beyond the limit of MAF of designs. these techniques involves redesign of storage elements which dynamically removes timing violation in critical paths. Also, new methods of approximate logic synthesis with smaller latency are investigated to replace the critical paths in ASIC designs.


Ali Azarmi

PhD Student

Email: aliazarmi@ut.ac.ir

In recent years, deep artificial neural networks (including recurrent ones) have won numerous contests in pattern recognition and machine learning. Learn about artificial neural networks and how they're being used for machine learning, as applied to speech and object recognition, image segmentation, modeling language and human motion, etc. The goal of my thesis is working with deep supervised learning, unsupervised learning, reinforcement learning and evolutionary computation to implement an useful and brain-based product in this area.


MSc Students


Vahid Saadatmand

MSc Student

Email: vahidsaadatmand2@gmail.com

The traditional and common encryption evaluation model only paid attention to analysis of applied functions in algorithm. This method analyzed the security of functions from the aspect of computation complexity according to the available processors power. Simple power analysis (SPA) and differential power analysis (DPA) can be noted as side channel attacks. In the SPA, the attacker directly uses the power consumption of commands and operators of an encryption system within the encryption, to break it. Another method is DPA. In this method, statistical features and error correction method are used to extract hidden information from the power consumption signal. In this study, we will introduce a hiding countermeasure method that leads to constant hamming weight and hamming distance for mean values and states, during the encryption operation.


Mahdi Shakeri

MSc Student

Email: en.mahdishakeri@gmail.com

The impact of timing variations on the performance of Very-Large-Scale Integrated (VLSI) circuits is increasing as the feature sizes shrink down into the nanometer scale. Timing variations induced by process, environmental or other effects may lead to a failing speedpath. Diagnosis of failing speedpaths is a major challenge in developing VLSI circuits. The goal of my thesis is to propose an efficient approach to automate speedpath debugging based on Quantified Boolean Formula (QBF).


Mojtaba Abbasnezhad

MSc Student

Email: mojtaba.abasnezhad@gmail.com

Distributed fiber optic sensing offers the ability to measure temperatures and strains at thousands of points along a single fiber. This is particularly interesting for the monitoring of large structures such as dams, dikes, levees, tunnels, pipelines and landslides, where it allows the detection and localization of movements and seepage zones with sensitivity and localization accuracy unattainable using conventional measurement techniques. The main challenges with Distributed fiber optic Sensors are the SNR of the backscatter signal and the Spatial Resolution of the system. The goal of my thesis is to improve these two parameters by signal processing techniques.


BSc Students


Sahand Salamat

BSc Student

Email: shndslmt@gmail.com

High level synthesis reduces the time of designing phase as well as the complexity of designs, multi dimensional nested loops are the "bottle neck" of behavioral code, As the high level descriptions with non-rectangular iteration spaces do not lend themselves well to efficient high level synthesis process, a reshaping technique is proposed to convert non-rectangular iteration spaces with certain inter-iteration dependencies to the rectangular ones. I am, also, doing some researches on approximate logic synthesis, which is a need due to the fact that quite a few applications are able to tolerate imprecise or approximated outputs in their underlying computations, in order to improve the energy efficiency of circuits. My future works are based on using the approximated circuits in different variety of applications, and also combine these circuits with state-of-the-art existing methods such as variable latency design in order to increase performance of VLSI circuits.


]

Former Students


PhD Students

Fatemeh Refan

Mahdieh Grailoo


MSc Students

Farimah Farahmandi

Peyman Behnam

Hossein Mehri

Bahman Ajami

Mehrzad Nejat

Alireza Mahzoon

Arash Golgol

Alireza Nahvi

Ali Jahanshahi

Shayan Moini


BSc Students

Nazanin Farahpour

Sina Shah Hosseini

Seyed Sina Dezfouli

Amir Hossein Borghei

Ehsan Ghasemi

Mohammad Hossein Ghasemi

Amir Samadi

Niloofar Parsajam