Marcelo@discuss.tchncs.detoTechnology@lemmy.world•Using LLMs to Facilitate Formal Verification of RTLEnglish
4·
1 year agoSorry about that, I should have spelled out RTL as Register Transfer Level in the paper. But yeah given the references to Verilog and hardware design it can be deducted…
In the paper, RTL stands for Register Transfer Level, in the domain of digital circuit design -> https://en.wikipedia.org/wiki/Register-transfer_level