1 citations · 1 across the 3 of their papers we have counts for
3 papers
Model Synthesis for Communication Traces of System-on-Chip Designs
Hao Zheng, Md Rubel Ahmed, Parijat Mukherjee +2
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 co…
Mining Message Flows from System-on-Chip Execution Traces
MD Rubel Ahmed, Hao Zheng, Parijat Mukherjee +2
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…
Mining Message Flows using Recurrent Neural Networks for System-on-Chip Designs
Yuting Cao, Parijat Mukherjee, Mahesh Ketkar +2
Comprehensive specifications are essential for various activities across the entire validation continuum for system-on-chip (SoC) designs. However, specifications are often ambiguo…