Deepak Mathaikutty

2009
23	EE	Sumit Ahuja, Deepak Mathaikutty, Gaurav Singh, Joe Stetzer, Sandeep K. Shukla, Ajit Dingankar: Power estimation methodology for a high-level synthesis framework. ISQED 2009: 541-546
2008
22	EE	Syed Suhaib, Bijoy A. Jose, Sandeep K. Shukla, Deepak Mathaikutty: Formal Transformation of a KPN Specification to a GALS Implementation. FDL 2008: 84-89
21	EE	Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla: Dataflow Architectures for GALS. Electr. Notes Theor. Comput. Sci. 200(1): 33-50 (2008)
20	EE	Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja: MMV: A Metamodeling Based Microprocessor Validation Environment. IEEE Trans. VLSI Syst. 16(4): 339-352 (2008)
19	EE	Deepak Mathaikutty, Sandeep K. Shukla: MCF: A Metamodeling-Based Component Composition Framework - Composing SystemC IPs for Executable System Models. IEEE Trans. VLSI Syst. 16(7): 792-805 (2008)
18	EE	Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla: A Trace-Based Framework for Verifiable GALS Composition of IPs. IEEE Trans. VLSI Syst. 16(9): 1176-1186 (2008)
2007
17	EE	Deepak Mathaikutty, Sandeep K. Shukla, Sreekumar V. Kodakara, David J. Lilja, Ajit Dingankar: Design fault directed test generation for microprocessor validation. DATE 2007: 761-766
16	EE	Deepak Mathaikutty, Ajit Dingankar, Sandeep K. Shukla: A Metamodeling based Framework for Architectural Modeling and Simulator Generation. FDL 2007: 210-218
15	EE	Deepak Mathaikutty, Sandeep K. Shukla: Type Inference for IP Composition. MEMOCODE 2007: 61-70
14	EE	Sumit Ahuja, Deepak Mathaikutty, Sandeep K. Shukla, Ajit Dingankar: Assertion-Based Modal Power Estimation. MTV 2007: 3-7
13	EE	Sreekumar V. Kodakara, Deepak Mathaikutty, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja: Model Based Test Generation for Microprocessor Architecture Validation. VLSI Design 2007: 465-472
12	EE	Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch: EWD: A metamodeling driven customizable multi-MoC system modeling framework. ACM Trans. Design Autom. Electr. Syst. 12(3): (2007)
2006
11	EE	Deepak Mathaikutty, Sandeep K. Shukla: Mining Metadata for Composability of IPs from SystemC IP Library. FDL 2006: 143-151
10	EE	Deepak Mathaikutty, Sandeep K. Shukla: MCF: A Metamodeling-based Visual Component Composition Framework. FDL 2006: 367-375
9	EE	Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner, Jean-Pierre Talpin: A Functional Programming Framework for Latency Insensitive Protocol Validation. Electr. Notes Theor. Comput. Sci. 146(2): 169-188 (2006)
8	EE	Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep K. Shukla: Validating Families of Latency Insensitive Protocols. IEEE Trans. Computers 55(11): 1391-1401 (2006)
7	EE	Hiren D. Patel, Deepak Mathaikutty, David Berner, Sandeep K. Shukla: CARH: service-oriented architecture for validating system-level designs. IEEE Trans. on CAD of Integrated Circuits and Systems 25(8): 1458-1474 (2006)
2005
6	EE	Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch: Modelling Environment for Heterogeneous Systems based on MoCs. FDL 2005: 291-303
5	EE	David Berner, Jean-Pierre Talpin, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla: SystemCXML: An Exstensible SystemC Front end Using XML. FDL 2005: 405-409
4	EE	David Berner, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla: Automated Extraction of Structural Information from SystemC-based IP for Validation. MTV 2005: 99-104
3	EE	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): 589-609 (2005)
2004
2	EE	Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla: A Functional Programming Framework of Heterogeneous Model of Computation for System Design. FDL 2004: 586-598
1	EE	Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner: Extreme Formal Modeling (XFM) for Hardware Models. MTV 2004: 30-35

Coauthor Index

1	Sumit Ahuja	[14] [23]
2	David Berner	[1] [3] [4] [5] [7] [8] [9]
3	Ajit Dingankar	[13] [14] [16] [17] [20] [23]
4	Axel Jantsch	[6] [12]
5	Bijoy A. Jose	[22]
6	Sreekumar V. Kodakara	[13] [17] [20]
7	David J. Lilja	[13] [17] [20]
8	Hiren D. Patel	[2] [4] [5] [6] [7] [12]
9	Sandeep K. Shukla	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23]
10	Gaurav Singh	[23]
11	Joe Stetzer	[23]
12	Syed Suhaib	[1] [3] [8] [9] [18] [21] [22]
13	Jean-Pierre Talpin	[5] [9]