caxapa.ru :: Кто о чем, а вшивый о бане я о кодевеломпенте софта-железа. Итак, пусть у нас есть Tcl, который позволяет прикручивать "в обе стороны" C код. Пишем мы на Verilog|SVerilig|SystemC описание некоей железяки и при помощи компилятора|Verilator'а

Кто о чем, а ~~вшивый о бане~~ я о кодевеломпенте софта-железа. Итак, пусть у нас есть Tcl, который позволяет прикручивать "в обе стороны" C код. Пишем мы на Verilog|SVerilig|SystemC описание некоей железяки и при помощи компилятора|Verilator'а получаем C код, который можно прикрутить к Tcl. Далее запускаем все вместе, генерируем Tcl тестовые воздействия на "шелезяку" и анализируем выход. При отладке HDL изучение диаграмм "глазками" умиляет при начале обучения и сильно доставляет при отладке чего-то большого. Более того, вероятно, "рядом" можно запустить синтетический порт RTOS вместе с целевым кодом, который будет общаться с моделью железки "под руководством" Tcl. Ну а Tcl будет всем этим управлять, собирать статистику, класть ее в БД в правильном виде, генерировать тестовые воздейтствия на софт и железо и пр. Интересно, случайно не поэтому все FPGA и ASIC софты так любят Tcl?

Ответить

- тут это... гуглить надо UVM, OVM, VMM, RVM ну и дальше в глубины истории. прогрессивное человечество по такому вопросу не спит, ой как не спит :) - ыыыы(24.02.2012 15:03, )
  - Понимаю, что не спит :) UVM OVM -> VMM --> Reference Verification Methodology (RVM) внутри. Красиво! Хочется понять, как бы все это по-проще сделать... Evgeny_CD(109 знак., 24.02.2012 15:16, ссылка, ссылка)
    - RVM уже давно выброшено за обочину роадмепа :), сейчас в моде ыыыы(24 знак., 24.02.2012 15:19, )
- Любят, потому, что заскриптовать можно всю мышиную возню, которой, как верно замечено, при реальной работе становится невообразимо много. В т.ч. прикрутить C для обработки массивов данных, Tk для визуализации и т.п. В принципе всё то же самое fk0(187 знак., 24.02.2012 14:47)
- это совсем плохо. лучше лбом гвозди забивать. почему любят - я выше написал. ну и традиция ес-сно. куча годных интерпретаторов появилась позже, чем тулзы. но постепенно, в некоторых тулзах, питон уже поддерживают синопсисы/каденсы. я думаю, еще ыыыы(48 знак., 24.02.2012 14:46, )
  - А кроме теологического спора об идеальности языка, чем плоха описанная мною связка? - Evgeny_CD(24.02.2012 14:50)
    - все HDL симуляторы приспособлены для интеграции С кода (в любую сторону и всякими разными путями), описывать на HDL тесты в мильйон раз проще чем на tcl, они для этого и придуманы, в отличие от tcl. то есть эта связка ведет к увеличению ыыыы(238 знак., 24.02.2012 14:59, )
      - А хотите, я приведу пример, где мой подход (как мне кажется) глюкавость сильно уменьшит? Evgeny_CD(828 знак., 24.02.2012 15:30)
        
        Стандарты протоколов пишутся на ASN.1 , а не xml :-) - =AlexD=(24.02.2012 17:12)
        
        Тем лучше для Tcl :) ASN.1 BER encoder/decoder - Evgeny_CD(24.02.2012 17:17, ссылка)
        
        это гуглим :) ассершин, и ассершин ленгвич (тот же SV или PSL), в качестве реального примера ыыыы(113 знак., 24.02.2012 15:49, )
        
        Напишите мне письмо по адресу в профиле, плиз! - Evgeny_CD(24.02.2012 16:04)
        
        evgenybel тута @ ьыр gmail.com - Evgeny_CD(24.02.2012 16:20)
        
        да я могу и по другим адресам :)))) могу и в гости зайти :), удивительно, что мне мою инкогниту удалось сохранить :) - ыыыы(24.02.2012 16:58, )
        
        Ввероятно, ты звался по другому в былые времена. Ну а IP - штука тонкая. Никому ничего не гарантирующая. - Evgeny_CD(24.02.2012 17:11)
        
        Process Specification Language (PSL) -> оно что ли? - Evgeny_CD(24.02.2012 16:03, ссылка)
        
        не не этот, этот еще IBM sugar кличут https://www.research.ibm.com/haifa/projects/verification/sugar/ - ыыыы(24.02.2012 17:05, )
        
        PSL/Sugar is the specification language used by engineers to specify the functional properties of logic designs. -> - Evgeny_CD(24.02.2012 17:09, ссылка)
        
        лучше SV (SystemVerilog то есть - там все есть, чего в этом топике упомянули), PSL он практически умер уже - ыыыы(24.02.2012 17:02, )
        
        AXI4™ and AXI4-Lite™ protocol assertion descriptions -> Это что ли? - Evgeny_CD(24.02.2012 16:01, ссылка)
        
        я с 3 и 4 АМБАми дела плотно не имел, под 2 они давали эти асершины за деньги (на PSL), сейчас вроде бы дают бесплатно (сам код, а не доку). ну и на SV (SVA) - ыыыы(24.02.2012 17:15, )
  - не забываем еще ruby, с которого азиатов прет со страшной силой - ыыыы(24.02.2012 14:48, )
    - Прет, но это штукак какая-то непонятная (хотя я прочитал книжку по языку - очень понравилось!), в embedded вроде малоюзаемая... - Evgeny_CD(24.02.2012 15:31)

Средства и методы разработки