[Intekus 0]

Потребовалось тут для удобства написать функцию, аналогичную по действию diff(*nix) / fc(win), только для очередей строк; написал. Но возник вопрос - а существуют ли какие-либо библиотеки полезных функций / классов / макросов для System Verilog / Verilog, где такую функцию было бы целесообразно для начала поискать? Что-то такое открытое, удобное и маленькое, помимо страшных :) своими масштабами VMM / OVM libraries. В первую очередь интересовала тема верификации - организация регрессионного тестирования, что-то, похожее на Perlo'овый модуль Test?

И на каких сайтах такие вещи имеет смысл искать? Немного просто погуглить для начала пробовал, ничего похожего на искомое пока не обнаружил.

[lexus.mephi 0]

Потребовалось тут для удобства написать функцию, аналогичную по действию diff(*nix) / fc(win), только для очередей строк; написал. Но возник вопрос - а существуют ли какие-либо библиотеки полезных функций / классов / макросов для System Verilog / Verilog, где такую функцию было бы целесообразно для начала поискать? Что-то такое открытое, удобное и маленькое, помимо страшных :) своими масштабами VMM / OVM libraries. В первую очередь интересовала тема верификации - организация регрессионного тестирования, что-то, похожее на Perlo'овый модуль Test?

И на каких сайтах такие вещи имеет смысл искать? Немного просто погуглить для начала пробовал, ничего похожего на искомое пока не обнаружил.

Некоторые организации пишут под себя что-то открытое удобное, маленькое, но гугл такое не покажет. Да и хорошее описание на такие штуки, как правило, отсутствует.

А масштабы VMM и OVM пугать не должны. Там действительно дофига всего, но использовать прям сразу все никто не заставляет. Изучаете только то, что нужно в вашем конкретном случае.

Если до этого писал тестовые окружения на SV, то использование VMM/OVM особых проблем вызвать не должно.

[Intekus 0]

Если до этого писал тестовые окружения на SV, то использование VMM/OVM особых проблем вызвать не должно.

Спасибо за ободрение, понятно, стану осваивать их :).

А пока продолжение поисков навело на библиотеку / методологию Truss & Teal (вообще не упоминавшуюся ещё на данном форуме), но, судя по всему, она предназначена для верификации HDL с использованием C/C++ (кстати, именно по этой теме раскопал в Сети кнжку, в ближайшее время посмотрю: если в закромах нет - залью).

[Escorial 0]

Нет, есть версии указанных библиотек под SystemVerilog.