HFD25

@inproceedings{HFD25,
author    = {Huang, Jing and Feng, Shaun and Dureja, Rohit},
title     = {{Scalable Formal Verification Flow}},
booktitle = {Proceedings of AMD Global Technical Authors Conference (GTAC)},
publisher = {AMD Internal},
address   = {Austin, Texas, USA},
month     = {December},
year      = {2025}
}