Ну что, пошли вести с полей
Я брал для пробы Клод за 200 баксов - там он безлимитный почти😁
Попросил написать ip по стандарту, cocotb юнит тесты для всех модулей (300+ тс в итоге получилось) и PyUVM для топ левела в связке с верилятором.
В итоге он все написал, сам отдебажил. Написал кучу тесткейзов на проверку соотв. Стандарту. В ручную такая работа месяца 4-6 заняла бы. А тут за неделю уложился 😇
Лимитов так и не достиг. Буду пробовать за 90 в следующем месяце
В общем, если верификацию перенести с SV домена в Py, то тут как раз вся мощь раскрывается этих ЛЛМ.
Получается верилятор + кокотб + фронтир ллм = новая мета для дизайна и верификации?
Кстати, раз тесты пишутся и к спекам ллм сильно внимательнее, то верификаторы уже не нужны получается?
Шучу, конечно нужен хотя бы один, на кого всю ответственность повесить в случае чего 😎
#llm
@positiveslack