Searching for authors named "Jayanta Bhadra" – sorted by Relevance.
-
Abstracting and Verifying Flash Memories
- @(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
- 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
- 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
- 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
- Akturan, ChiaBin Liu Debaleena Das, I-Min Liu, Jayanta Bhadra, Justin R. Denison, Kaustubh Das Malay K
- Add To MetaCart

