A TLM2.0 assertion library with centralized monitoring approach. - Amirali Ghofrani; Sheis Abolma'ali; Zahra Najafi Haghi; Zainalabedin Navabi (EWDTS, 2010)

Efficient Critical Path Identification Based on Viability Analysis Method Considering Process Variations. - Sheis Abolma'ali; Nika Mansouri-Ghiasi; Mehdi Kamal; Ali Afzali-Kusha; Massoud Pedram (IEEE Trans. Very Large Scale Integr. Syst., 2017)

An Efficient False Path-Aware Heuristic Critical Path Selection Method with High Coverage of the Process Variation Space. - Sheis Abolma'ali; Mehdi Kamal; Ali Afzali-Kusha; Massoud Pedram (ACM Trans. Design Autom. Electr. Syst., 2018)