Syed Suhaib

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 1

Top Venues

VTS

Virginia Tech, Blacksburg, VA, USA (PHD)

Education History

Virginia Tech, Blacksburg, VA, USA

PHD

Publications

Mingjie Liu, Minwoo Kang, Ghaith Bany Hamad, Syed Suhaib, Haoxing Ren
Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification. VTS (2024)
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla
A Trace-Based Framework for Verifiable GALS Composition of IPs. IEEE Trans. Very Large Scale Integr. Syst. 16 (9) (2008)
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla
Dataflow Architectures for GALS. Electron. Notes Theor. Comput. Sci. 200 (1) (2008)
Syed Suhaib, Bijoy Antony Jose, Sandeep K. Shukla, Deepak Mathaikutty
Formal Transformation of a KPN Specification to a GALS Implementation. FDL (2008)
Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep K. Shukla
Validating Families of Latency Insensitive Protocols. IEEE Trans. Computers 55 (11) (2006)
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla
A Trace Based Framework for Validation of SoC Designs with GALS Systems. SoCC (2006)
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner, Jean-Pierre Talpin
A Functional Programming Framework for Latency Insensitive Protocol Validation. Electron. Notes Theor. Comput. Sci. 146 (2) (2006)
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, Jean-Pierre Talpin
Polychronous Methodology For System Design: A True Concurrency Approach. HLDVT (2006)
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla
System Level Design Methodology for System On Chips using Multi-Threaded Graphs. SoCC (2005)
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner
XFM: An incremental methodology for developing formal models. ACM Trans. Design Autom. Electr. Syst. 10 (4) (2005)
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner
Validating families of latency insensitive protocols. HLDVT (2005)
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla
Effects of property ordering in an incremental formal modeling methodology. HLDVT (2004)
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner
Extreme Formal Modeling (XFM) for Hardware Models. MTV (2004)
Peng Li, Binoy Ravindran, Syed Suhaib, Shahrooz Feizabadi
A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems. IEEE Trans. Software Eng. 30 (9) (2004)

Syed Suhaib.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Syed Suhaib