Agile Autotuning of a Transprecision Tensor Accelerator Overlay for TVM Compiler Stack | 0 | 0.34 | 2020 |
PHRYCTORIA: A Messaging System for Transprecision OpenCAPI-attached FPGA Accelerators | 0 | 0.34 | 2020 |
FPGA Accelerated Analysis of Boolean Gene Regulatory Networks | 0 | 0.34 | 2020 |
Formal Techniques for Effective Co-verification of Hardware/Software Co-designs. | 0 | 0.34 | 2017 |
Computing Mutation Coverage in Interpolation-Based Model Checking | 2 | 0.36 | 2012 |
Proving correctness of regular expression accelerators | 2 | 0.37 | 2012 |
Coverage in interpolation-based model checking | 10 | 0.68 | 2010 |
Mutation-based test case generation for simulink models | 35 | 1.08 | 2009 |
Approximation refinement for interpolation-based model checking | 10 | 0.65 | 2008 |
Dos and don'ts of CTL state coverage estimation | 22 | 1.00 | 2003 |