caxapa.ru :: это совсем плохо. лучше лбом гвозди забивать. почему любят - я выше написал. ну и традиция ес-сно. куча годных интерпретаторов появилась позже, чем тулзы. но постепенно, в некоторых тулзах, питон уже поддерживают синопсисы/каденсы. я думаю, еще

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

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

- А кроме теологического спора об идеальности языка, чем плоха описанная мною связка? - 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)

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