Subir K. Roy

15 papers B 2C 1Misc 4Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2016 — conf
An efficient FPGA-based function profiler for embedded system applications.
VDAT
Pavan Kumar Nadimpalli, Subir K. Roy
2016 — conf
Formal verification of switched capacitor DC to DC power converter using circuit simulation traces.
VDAT
Ambuj Mishra, Subir K. Roy
2013 J jnl
Formal Verification of Analog and Mixed Signal Designs Using SPICE Circuit Simulation Traces.
J. Electron. Test.
Kusum Lata, Subir K. Roy
2010 B conf
DFT logic verification through property based formal methods - SOC to IP.
FMCAD
Lopamudra Sen, Amit Roy, Supriya Bhattacharjee, Bijitendra Mittra, Subir K. Roy
2008 — conf
Verification of a MEMS based adaptive cruise control system using simulation and semi-formal approaches.
ICECS
Sukumar Jairam, Kusum Lata, Subir K. Roy, Navakanta Bhat
2007 Misc conf
Modeling Techniques for Formal Verification of BIST Controllers and Their Integration into SOC Designs.
VLSI Design
Subir K. Roy, Rubin A. Parekhji
2007 — conf
Top Level SOC Interconnectivity Verification Using Formal Techniques.
MTV
Subir K. Roy
2002 — conf
Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract).
ASP-DAC/VLSI Design
Subir K. Roy, S. Ramesh, Supratik Chakraborty, Tsuneo Nakata, Sreeranga P. Rajan
2000 Misc conf
Dataflow Analysis for Resource Contention and Register Leakage Properties.
VLSI Design
Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata
2000 — conf
Formal verification based on assume and guarantee approach - a case study (short paper).
ASP-DAC
Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata
1999 Misc conf
Design and Implementation of Viterbi Decoder Using FPGAs.
VLSI Design
Bupesh Pandita, Subir K. Roy
1999 Misc conf
TECHMIG: A Layout Tool for Technology Migration.
VLSI Design
Pradip K. Kar, Subir K. Roy
1996 J jnl
Approximation Algorithms for Min-k-Overlap Problems Using the Principal Lattice of Partitions Approach.
J. Algorithms
H. Narayanan, Subir K. Roy, Sachin B. Patkar
1994 B conf
Approximation Algorithms for Min-k-overlap Problems Using the Principal Lattice of Partitions Approach.
MFCS
H. Narayanan, Subir K. Roy, Sachin B. Patkar
1993 C conf
Application of the principal partition and principal lattice of partitions of a graph to the problem of decomposition of a finite state machine.
ISCAS
Subir K. Roy, H. Narayanan