Formal Techniques for Effective Co-verification of Hardware/Software Co-designs
- Rajdeep Mukherjee
- Mitra Purandare
- et al.
- 2017
- DAC 2017
Publications
Date
Featured collections
Popular topics
8 results for Mitra Purandare
Proving correctness of regular expression accelerators
- Mitra Purandare
- Kubilay Atasu
- et al.
- 2012
- DAC 2012
Coverage in interpolation-based model checking
- Hana Chockler
- Daniel Kroening
- et al.
- 2010
- DAC 2010
Acceleration-As-A-μService: A Cloud-native Monte-Carlo Option Pricing Engine on CPUs, GPUs and Disaggregated FPGAs
- 2021
- CLOUD 2021
Agile Autotuning of a Transprecision Tensor Accelerator Overlay for TVM Compiler Stack
- 2020
- FPL 2020
PHRYCTORIA: A messaging system for transprecision OpenCAPI-attached FPGA accelerators
- Dionysios Diamantopoulos
- Mitra Purandare
- et al.
- 2020
- IPDPSW 2020
Accelerated analysis of Boolean gene regulatory networks
- Mitra Purandare
- Raphael Polig
- et al.
- 2017
- FPL 2017
Computing mutation coverage in interpolation-based model checking
- Hana Chockler
- Daniel Kroening
- et al.
- 2012
- IEEE TCADIS