BibTeX record conf/dac/ChaoZZMLLCYLL25

• > Home > conf/dac/ChaoZZMLLCYLL25

@inproceedings{DBLP:conf/dac/ChaoZZMLLCYLL25,
  author       = {Zhiteng Chao and
                  Xindi Zhang and
                  Xinyu Zhang and
                  Jianan Mu and
                  Zizhen Liu and
                  Shengwen Liang and
                  Shaowei Cai and
                  Jing Ye and
                  Xiaowei Li and
                  Huawei Li},
  title        = {PastATPG: {A} Hybrid {ATPG} Framework for Better Test Compaction with
                  Partial Assignment {SAT}},
  booktitle    = {62nd {ACM/IEEE} Design Automation Conference, {DAC} 2025, San Francisco,
                  CA, USA, June 22-25, 2025},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2025},
  url          = {https://doi.org/10.1109/DAC63849.2025.11132425},
  doi          = {10.1109/DAC63849.2025.11132425},
  timestamp    = {Mon, 22 Sep 2025 21:08:54 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/ChaoZZMLLCYLL25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}