alt Hacker NewsThe source article in Korean actually seems to tell a somewhat different story, that it's been a massive productivity boost in their early experiments. You could focus on the points of friction, but that isn't the main takeaway I think.
The source article in Korean actually seems to tell a somewhat different story, that it's been a massive productivity boost in their early experiments. You could focus on the points of friction, but that isn't the main takeaway I think.
I understand that they used Claude to create some sort of produced a verification code and test environments from circuit-design information, verification programs, and protocol specifications. But isn't precisely this quite risky due to the statitical nature of LLMs? I would have thought that they rather operate with very rigid test suites based on such software like F*, Coq, and whatnot.
Can someone with understanding of the process chime in here?
Here is the text snippet from the original korean article. Indeed the information was misrepresented:
"Customer-specific SoC verification work, which Usually takes Over a month, was completed in just two days. A second-year employee completed a USB model development that previously takes a month in a single day".