All Publications


  • Using Runtime Circuit Specialization to Accelerate Simulations of Reconfigurable Architectures Huff, D., Hanrahan, P., Andrews, D., Cumplido, R., Feregrino, C., Stroobandt, D. IEEE. 2018
  • CoSA: Integrated Verification for Agile Hardware Design Mattarei, C., Mann, M., Barrett, C., Daly, R. G., Huff, D., Hanrahan, P., Bjorner, N., Gurfinkel, A. IEEE. 2018: 7–11