BibTeX record conf/fmcad/ChattopadhyayLP21

• > Home > conf/fmcad/ChattopadhyayLP21

@inproceedings{DBLP:conf/fmcad/ChattopadhyayLP21,
  author       = {Saranyu Chattopadhyay and
                  Florian Lonsing and
                  Luca Piccolboni and
                  Deepraj Soni and
                  Peng Wei and
                  Xiaofan Zhang and
                  Yuan Zhou and
                  Luca P. Carloni and
                  Deming Chen and
                  Jason Cong and
                  Ramesh Karri and
                  Zhiru Zhang and
                  Caroline Trippel and
                  Clark W. Barrett and
                  Subhasish Mitra},
  title        = {Scaling Up Hardware Accelerator Verification using {A-QED} with Functional
                  Decomposition},
  booktitle    = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven,
                  CT, USA, October 19-22, 2021},
  pages        = {42--52},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_12},
  doi          = {10.34727/2021/ISBN.978-3-85448-046-4\_12},
  timestamp    = {Tue, 07 May 2024 20:13:25 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/ChattopadhyayLP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}