Md Rubel AhmedUniversity of Centra Florida · Electrical and Computer Engineering
Md Rubel Ahmed
Doctor of Philosophy
Data mining and machine learning techniques for post-silicon validation, Formal verification, Computer Architecture
About
20
Publications
474
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
30
Citations
Introduction
Md Rubel Ahmed currently works at the Department of Computer Science & Engineering, University of South Florida. Md Rubel does research in Post Silicon Validation.
Additional affiliations
August 2018 - present
University of South Florida
Position
- PhD Student
Publications
Publications (20)
Modeling system-level behaviors of intricate System-on-Chip (SoC) designs is crucial for design analysis, testing, and validation. This paper presents an approach, AutoModel, to automatically inferring concise and abstract models from SoC communication traces, capturing the system-level protocols that govern co-ordinations among design blocks for v...
Modeling system-level behaviors of intricate System-on-Chip (SoC) designs is crucial for design analysis, testing, and validation. However, the complexity and volume of SoC traces pose significant challenges in this task. This paper proposes an approach to automatically infer concise and abstract models from SoC communication traces, capturing the...
High-quality system-level message flow specifications are necessary for comprehensive validation of system-on-chip (SoC) designs. However, manual development and maintenance of such specifications are daunting tasks. We propose a disruptive method that utilizes deep sequence modeling with the attention mechanism to infer accurate flow specification...
Hospital capacity expansion planning is critical for a healthcare authority, especially in regions with a growing diverse population. Policymaking to this end often requires satisfying two conflicting objectives, minimizing capacity expansion cost and minimizing the number of denial of service (DoS) for patients seeking hospital admission. The unce...
High-quality system-level message flow specifications can lead to comprehensive validation of system-on-chip (SoC) designs. We propose a disruptive method that utilizes attention mechanism to produce accurate flow specifications from SoC IP communication traces. The proposed method can overcome the inherent complexity of SoC traces induced by the c...
hospital admission, Disease Burden (DB), and Social Vulnerability Index (SVI) data between 2010-2019 from State Inpatient Databases (SID)
“HCUP State Inpatient Databases (SID). Healthcare Cost and
Utilization Project (HCUP). 2010-2017.” [Online]. Available: www.
hcup-us.ahrq.gov/sidoverview.jsp
</div
hospital admission, Disease Burden (DB), and Social Vulnerability Index (SVI) data between 2010-2019 from State Inpatient Databases (SID)
“HCUP State Inpatient Databases (SID). Healthcare Cost and
Utilization Project (HCUP). 2010-2017.” [Online]. Available: www.
hcup-us.ahrq.gov/sidoverview.jsp
</div
This article proposes a specification mining framework,
FlowMiner
, that automatically mines patterns from highly concurrent communication traces for system-on-chip (SoC) designs. It addresses the problem of the lack of comprehensive, accurate, and up-to-date specifications necessary to perform rigorous and thorough validation of complex SoC desi...
In this paper, we study seven well-known trace analysis techniques both from the hardware and software domain and discuss their performance on communication-centric system-on-chip (SoC) traces. SoC traces are usually huge in size and concurrent in nature, therefore mining SoC traces poses additional challenges. We provide a hands-on discussion of t...
Concise and abstract models of system-level behaviors are invaluable in design analysis, testing, and validation. In this paper, we consider the problem of inferring models from communication traces of system-on-chip~(SoC) designs. The traces capture communications among different blocks of a SoC design in terms of messages exchanged. The extracted...
Hospital beds are an essential part of delivering medical services to the patients. Due to the hospital bed demand’s stochastic nature, it is hard to predict future needs and devise an appropriate augmentation scheme. In this work, we consider Bangladesh as a test case where hospital beds are inadequate, and a sudden surge in demand can cause a mas...
Comprehensive and well-defined specifications are necessary to perform rigorous and thorough validation of system-on-chip (SoC) designs. Message flows specify how components of an SoC design communicate and coordinate with each other to realize various system functions. Message flow specifications are essential for efficient system-level validation...