yes 0 June 22 Posted June 22 · Report post да вроде бы поддерживались immediate assertions вставлять надо только не в инишиал, а в олвиз как-то так always @(posedge clk) assert (TEST_PARAM == 1) else $fatal("TEST_PARAM must be zero"); а вот как будет в симуляторе - не могу сразу сообразить always assert (TEST_PARAM == 1) else $fatal("TEST_PARAM must be zero"); Quote Share this post Link to post Share on other sites More sharing options...
VoltageCurrent 0 June 22 Posted June 22 · Report post В 22.06.2022 в 14:47, yes сказал: да вроде бы поддерживались immediate assertions вставлять надо только не в инишиал, а в олвиз как-то так always @(posedge clk) assert (TEST_PARAM == 1) else $fatal("TEST_PARAM must be zero"); а вот как будет в симуляторе - не могу сразу сообразить always assert (TEST_PARAM == 1) else $fatal("TEST_PARAM must be zero"); Неа (( Synplify синтезирует всё до конца и кастомных ошибок не выбрасывает. Может я, конечно, что-то не так в нём делаю, но если у кого есть Synplify - можете подтвердить или опровергнуть. Quote Share this post Link to post Share on other sites More sharing options...
