Md Rubel Ahmed

Md Rubel Ahmed
University of Centra Florida · Electrical and Computer Engineering

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)
Article
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...
Preprint
Full-text available
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...
Preprint
Full-text available
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...
Article
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...
Preprint
Full-text available
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...
Preprint
Full-text available
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
Preprint
Full-text available
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
Article
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...
Preprint
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...
Preprint
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...
Conference Paper
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...
Preprint
Full-text available
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...

Network

Cited By