All Publications


  • fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components International Conference on Computer Aided Verification Truong, L., Herbst, S., Setaluri, R., Mann, M., Daly, R., Zhang, K., Donovick, C., Stanley, D., Horowitz, M., Barrett, C., Hanrahan, P. 2020
  • 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
  • Rigel: Flexible Multi-Rate Image Processing Hardware ACM TRANSACTIONS ON GRAPHICS Hegarty, J., Daly, R., DeVito, Z., Ragan-Kelley, J., Horowitz, M., Hanrahan, P. 2016; 35 (4)