共 7 条
[1]
DeLorenzo M, 2024, Arxiv, DOI arXiv:2402.03289
[2]
RTL-REPAIR: Fast Symbolic Repair of Hardware Design Code
[J].
PROCEEDINGS OF THE 29TH ACM INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, VOL 3, ASPLOS 2024,
2024,
:867-881
[3]
Invited Paper: VerilogEval: Evaluating Large Language Models for Verilog Code Generation
[J].
2023 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, ICCAD,
2023,
[4]
Tsai YD, 2024, Arxiv, DOI arXiv:2311.16543
[5]
Wei Ran, 2023, IEEE Transactions on ComputerAided Design of Integrated Circuits and Systems
[6]
Yao XF, 2024, Arxiv, DOI arXiv:2403.11671
[7]
Zhang Y, 2023, Arxiv, DOI [arXiv:2309.01219, 10.48550/arXiv.2309.01219, DOI 10.1162/COLI.A.16, DOI 10.48550/ARXIV.2309.01219]