Application of the principal partition and principal lattice of partitions of a graph to the problem of decomposition of a finite state machine. - Subir K. Roy; H. Narayanan (ISCAS, 1993)

Approximation Algorithms for Min-k-Overlap Problems Using the Principal Lattice of Partitions Approach. - H. Narayanan; Subir K. Roy; Sachin B. Patkar (J. Algorithms, 1996)

TECHMIG: A Layout Tool for Technology Migration. - Pradip K. Kar; Subir K. Roy (VLSI Design, 1999)

Design and Implementation of Viterbi Decoder Using FPGAs. - Bupesh Pandita; Subir K. Roy (VLSI Design, 1999)

Formal verification based on assume and guarantee approach - a case study (short paper). - Subir K. Roy; Hiroaki Iwashita; Tsuneo Nakata (ASP-DAC, 2000)

Dataflow Analysis for Resource Contention and Register Leakage Properties. - Subir K. Roy; Hiroaki Iwashita; Tsuneo Nakata (VLSI Design, 2000)

Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract). - Subir K. Roy; S. Ramesh; Supratik Chakraborty; Tsuneo Nakata; Sreeranga P. Rajan (ASP-DAC/VLSI Design, 2002)

Top Level SOC Interconnectivity Verification Using Formal Techniques. - Subir K. Roy (MTV, 2007)

Modeling Techniques for Formal Verification of BIST Controllers and Their Integration into SOC Designs. - Subir K. Roy; Rubin A. Parekhji (VLSI Design, 2007)

Verification of a MEMS based adaptive cruise control system using simulation and semi-formal approaches. - Sukumar Jairam; Kusum Lata 001; Subir K. Roy; Navakanta Bhat (ICECS, 2008)

DFT logic verification through property based formal methods - SOC to IP. - Lopamudra Sen; Amit Roy; Supriya Bhattacharjee; Bijitendra Mittra; Subir K. Roy (FMCAD, 2010)

Formal Verification of Analog and Mixed Signal Designs Using SPICE Circuit Simulation Traces. - Kusum Lata 001; Subir K. Roy (J. Electron. Test., 2013)

Formal verification of switched capacitor DC to DC power converter using circuit simulation traces. - Ambuj Mishra; Subir K. Roy (VDAT, 2016)

An efficient FPGA-based function profiler for embedded system applications. - Pavan Kumar Nadimpalli; Subir K. Roy (VDAT, 2016)