ПО @positiveslack
Showing posts older than #372 · Back to latest
Forwarded from Юрий Панчул
позитивслэк Встреча FPGA сообщества в YADRO 2026 Настало время выбраться из берлоги 😊 На ближайшей вечерней FPGA-встрече в Питере расскажу про свой пет-проект LLM-first CLI инструмента для работы с вейвформами. Дело в том, что агенты хорошо работают с текстом примерно…
Я брал для пробы Клод за 200 баксов - там он безлимитный почти😁
Попросил написать ip по стандарту, cocotb юнит тесты для всех модулей (300+ тс в итоге получилось) и PyUVM для топ левела в связке с верилятором.
В итоге он все написал, сам отдебажил. Написал кучу тесткейзов на проверку соотв. Стандарту. В ручную такая работа месяца 4-6 заняла бы. А тут за неделю уложился 😇
Лимитов так и не достиг. Буду пробовать за 90 в следующем месяце
В общем, если верификацию перенести с SV домена в Py, то тут как раз вся мощь раскрывается этих ЛЛМ.
Класс с констрейном:
class Test;
rand byte a;
constraint a_c {
a >= 0;
a <= 10;
}
endclass
SMT2 код:
(set-logic QF_ABV)
(check-sat)
(reset)
(set-option :produce-models true)
(set-logic QF_ABV)
(define-fun __Vbv ((b Bool)) (_ BitVec 1) (ite b #b1 #b0))
(define-fun __Vbool ((v (_ BitVec 1))) Bool (= #b1 v))
(declare-fun a () (_ BitVec 8))
(assert (= #b1 (__Vbv (bvsge ((_ sign_extend 24) a) #x00000000))))
(assert (= #b1 (__Vbv (bvsle ((_ sign_extend 24) a) #x0000000a))))
(check-sat)
(get-value ( a))
(assert (= #b0 (bvxor ((_ extract 1 1) a) ((_ extract 2 2) a) ((_ extract 3 3) a) ((_ extract 5 5) a))))
(check-sat)
(get-value ( a))
(assert (= #b1 (bvxor ((_ extract 0 0) a) ((_ extract 2 2) a) ((_ extract 6 6) a) ((_ extract 7 7) a))))
(check-sat)
(get-value ( a))
(assert (= #b1 (bvxor ((_ extract 0 0) a) ((_ extract 1 1) a) ((_ extract 3 3) a) ((_ extract 4 4) a))))
(check-sat)
(get-value ( a))
(assert (= #b1 (bvxor ((_ extract 0 0) a) ((_ extract 1 1) a) ((_ extract 3 3) a) ((_ extract 7 7) a))))
(check-sat)
(get-value ( a))
