Research

Specification Mining

The electronic design automation (EDA) community acknowledges the necessity of specification in system design and verification. An efficient and reliable set of specifications is the first step toward an efficient and reliable digital design. The lack of good quality specifications can cause catastrophes in various safety-critical and mission-critical architectures. Therefore, many endeavors have been carried out to determine the correct specifications for reactive systems. Still, none of them obliterated the need for further work in this domain. The advancement in ML algorithms has opened new research avenues for specification mining.

Specification Mining for SoC Validation

We have developed a mining framework, FlowMiner, that can produce specifications for SoC validation based on the execution traces. In this framework, we have applied sequential rule mining with enhanced scalability. In addition, we address the shortcomings of existing algorithms that fail to reduce search space which grows exponentially as the length of the rule increases. Moreover, besides mining, a large set of rules is often redundant and cannot be helpful in many cases. So we prune search space and reduce the number of specifications utilizing SAT tools and RNN/NLP techniques.

Visit our lab page to learn more about our research and open positions.

I try to follow: The Three Golden Rules for Successful Scientific Research by Dijkstra

Publications

Please visit my Google Scholar and ResearchGate pages for most recent publication and project updates.

Posters

1. Md Rubel Ahmed, Hao Zheng, "Model Synthesis for Communication Traces of System-on-Chip Designs", USF Annual Graduate Student Research Symposium, Mar 2021. (PDF)
2. Md Rubel Ahmed, Hao Zheng, "Mining Message Flows from SoC Execution Traces", 57 ^th Design and Automation Conference (DAC), Jul 2020. (PDF)
3. Md Rubel Ahmed, Yuting Cao, Hao Zheng, "Message Flow Mining for SoC Validation for Safe and Secure IoT Edge Node Design", Warren B. Nelms Annual IoT Conference, Dec 2019. (PDF)
4. Md Rubel Ahmed, Yuting Cao, Hao Zheng, "Execution Trace Mining for SoC Validation for Safe and Secure IoT Edge Node Design", 2^nd IFIP IoT Conference, Oct 2019. (PDF)
5. Md Rubel Ahmed, Yuting Cao, Hao Zheng, "Specification Mining For SoC Validation Using Data Mining Techniques", 56 ^th Design and Automation Conference (DAC), Jun 2019. (PDF)
6. Md Rubel Ahmed, Yuting Cao, Hao Zheng, "Specification Mining From Message Flow For SoC Validation", 2019 FICS Research Conference on Cybersecurity, Mar 2019. (PDF)