EDA tools solve part of the problem in chip design, for example; furthermore sometimes with logic instead of imitation.
Will any LLM ever output a formally verified design and implementation without significant tree filtering, Even if trained solely on formally verified code?
Synthesis without understanding, and worse without ethics.
On creating something sufficiently novel,
EDA tools solve part of the problem in chip design, for example; furthermore sometimes with logic instead of imitation.
Will any LLM ever output a formally verified design and implementation without significant tree filtering, Even if trained solely on formally verified code?
Synthesis without understanding, and worse without ethics.