Skip to content
cs-conference-ranking.org

Subir K. Roy

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

5

Active years

1993–2010

Best venue rank

National

Where they publish

Papers

9 indexed papers, newest first.

YearVenueTitleAuthors
2010FMCADDFT logic verification through property based formal methods - SOC to IP.Lopamudra Sen, Amit Roy, Supriya Bhattacharjee, Bijitendra Mittra, Subir K. Roy
2007VLSIDModeling Techniques for Formal Verification of BIST Controllers and Their Integration into SOC Designs.Subir K. Roy, Rubin A. Parekhji
2002VLSIDFunctional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract).Subir K. Roy, S. Ramesh, Supratik Chakraborty, Tsuneo Nakata, Sreeranga P. Rajan
2000ASPDACFormal verification based on assume and guarantee approach - a case study (short paper).Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata
2000VLSIDDataflow Analysis for Resource Contention and Register Leakage Properties.Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata
1999VLSIDTECHMIG: A Layout Tool for Technology Migration.Pradip K. Kar, Subir K. Roy
1999VLSIDDesign and Implementation of Viterbi Decoder Using FPGAs.Bupesh Pandita, Subir K. Roy
1994MFCSApproximation Algorithms for Min-k-overlap Problems Using the Principal Lattice of Partitions Approach.H. Narayanan, Subir K. Roy, Sachin B. Patkar
1993ISCASApplication 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