@inproceedings{
        sun2023towards,
        title={Towards Improving Verification Productivity with Circuit-Aware Translation of Natural Language to SystemVerilog Assertions},
        author={Chuyue Sun and Christopher Hahn and Caroline Trippel},
        booktitle={First International Workshop on Deep Learning-aided Verification},
        year={2023},
        url={https://openreview.net/forum?id=FKH8qCuM44}
        }