caxapa.ru :: А кроме теологического спора об идеальности языка, чем плоха описанная мною связка?

Evgeny_CD, Архитектор (24.02.2012 14:50, просмотров: 718) ответил ыыыы на это совсем плохо. лучше лбом гвозди забивать. почему любят - я выше написал. ну и традиция ес-сно. куча годных интерпретаторов появилась позже, чем тулзы. но постепенно, в некоторых тулзах, питон уже поддерживают синопсисы/каденсы. я думаю, еще

А кроме теологического спора об идеальности языка, чем плоха описанная мною связка?

Ответить

- все 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, )

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