LinkedIn (pdf)
LinkedIn (code)
The above fIle describes my inputs, my teaching/tuning the requirements
(e.g., use logic instead of reg, clarified the requirements)
AI learned and eventually produced good RTL but bad SVA (used the always, bad code).
It was also very polite and apologized when I told him about his mistakes.
The English explanations for the assertions were used to tune them to what I need.
I liked that chat.openai produced the structures and make good attempts at my requirements.
Also, the English expression of the requirements helps at creating better code.
++ for AI!
Ben Cohen
Ben@systemverilog.us
Link to the list of papers and books that I wrote, many are now donated.
or Cohen_Links_to_papers_books - Google Docs
Getting started with verification with SystemVerilog