Oups, I should have read the article or I should have asked instead of trying to guess !
Comment on Using LLMs to Facilitate Formal Verification of RTL
AbouBenAdhem@lemmy.world 1 year agoWhen I read the abstract, I assumed RTL stood for Register Transfer Language:
In computer science, register transfer language (RTL) is a kind of intermediate representation (IR) that is very close to assembly language, such as that which is used in a compiler.
It almost makes sense using either term, though the references to ASIC and RISC point to your reading being correct.
A_A@lemmy.world 1 year ago
Marcelo@discuss.tchncs.de 1 year ago
Sorry 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…