Searching for authors named "Jayanta Bhadra" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

Abstracting and Verifying Flash Memories
by Sandip Ray, Jayanta Bhadra
…@(email omitted); Jayanta Bhadra Freescale Semiconductor Inc. jayanta.bhadra@(email omitted); Abstract—We present a framework…
Add To MetaCart

Formal Verification of the PCI Local Bus
by Jayanta Bhadra, Debaleena Das, Abhijit Jas
…Formal Veri cation of the PCI Local Bus Project Report for EE382M Jayanta Bhadra, Debaleena Das…
Add To MetaCart

Formal verification of a system-on-chip using computation slicing
by Alper Sen, Jayanta Bhadra, Vijay K. Garg, Jacob A. Abraham — In International Test Conference ITC
…Formal Verification of a System-on-Chip Using Computation Slicing Alper Sen 1 , Jayanta Bhadra 2…
Cited by 1 (0 self) – Add To MetaCart

Full Chip False Timing Path Identification: Applications to the PowerPC™ Microprocessors
by Jing Zeng, Magdy S. Abadir, Jayanta Bhadra, Jacob A. Abraham, Jacob A. Abrahamþ Ýeda Tools — 2001
… ZengÝÞ , Magdy S. AbadirÝ , Jayanta BhadraÝÞ , and Jacob A. AbrahamÞ ÝEDA Tools and Methodology…
Cited by 2 (2 self) – Add To MetaCart

Examples of Hardware Verification Using VIS
by Abhijit Jas, Alper Sen, Cagdas Akturan, Chiabin Liu, Debaleena Das, I-min Liu, Jayanta Bhadra, Justin R. Denison, Kaustubh Das, Malay K. Ganai, Padmini Gopalakrishnan, Parminder S. Chhabra, Praveen K. Jaini, Rajat Chaudhry, Ram Narayan, Ritu Chaba, Sriraman Padmanabhan, Srivatsan Srinivasan, Wasim U. Quddus, Contact Person
… Akturan, ChiaBin Liu Debaleena Das, I-Min Liu, Jayanta Bhadra, Justin R. Denison, Kaustubh Das Malay K…
Add To MetaCart

Showing 1 through 5.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB