caxapa.ru :: все HDL симуляторы приспособлены для интеграции С кода (в любую сторону и всякими разными путями), описывать на HDL тесты в мильйон раз проще чем на tcl, они для этого и придуманы, в отличие от tcl. то есть эта связка ведет к увеличению

ыыыы (24.02.2012 14:59, просмотров: 1) ответил Evgeny_CD на А кроме теологического спора об идеальности языка, чем плоха описанная мною связка?

все HDL симуляторы приспособлены для интеграции С кода (в любую сторону и всякими разными путями), описывать на HDL тесты в мильйон раз проще чем на tcl, они для этого и придуманы, в отличие от tcl. то есть эта связка ведет к увеличению трудоемкости, встроенной глюкавости и т.д. то есть я считаю это совсем бессмысленным. по поводу извращений: опенкоресники создают какие-то фреймворки для описания железа (симуляция/синтез) на питоне - без гугля помню myHDL, но он не один

- А хотите, я приведу пример, где мой подход (как мне кажется) глюкавость сильно уменьшит? 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, )

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