diff --git a/tgt-vvp/draw_mux.c b/tgt-vvp/draw_mux.c index 299b916fb..68ae8cf2b 100644 --- a/tgt-vvp/draw_mux.c +++ b/tgt-vvp/draw_mux.c @@ -60,17 +60,6 @@ static void draw_lpm_mux_ab(ivl_lpm_t net, const char*muxz) assert( ! number_is_unknown(d_fall)); assert( ! number_is_unknown(d_decay)); - // .delay (x,y,z) only supports a 64 bit delay value. - if ((! number_is_immediate(d_rise, 64, 0)) || - (! number_is_immediate(d_fall, 64, 0)) || - (! number_is_immediate(d_decay, 64, 0))) { - fprintf(stderr, "%s:%u: vvp-tgt sorry: only 64 bit " - "delays are supported in a continuous " - "assignment.\n", ivl_expr_file(d_rise), - ivl_expr_lineno(d_rise)); - exit(1); - } - fprintf(vvp_out, "L_%p .delay %u (%" PRIu64 ",%" PRIu64 ",%" PRIu64 ") L_%p/d;\n", net, dly_width, get_number_immediate64(d_rise), diff --git a/tgt-vvp/vvp_scope.c b/tgt-vvp/vvp_scope.c index 83afe4592..e62c1623c 100644 --- a/tgt-vvp/vvp_scope.c +++ b/tgt-vvp/vvp_scope.c @@ -901,17 +901,6 @@ static void draw_logic_in_scope(ivl_net_logic_t lptr) assert(! number_is_unknown(fall_exp)); assert(! number_is_unknown(decay_exp)); - // .delay (x,y,z) only supports a 64 bit delay value. - if ((! number_is_immediate(rise_exp, 64, 0)) || - (! number_is_immediate(fall_exp, 64, 0)) || - (! number_is_immediate(decay_exp, 64, 0))) { - fprintf(stderr, "%s:%u: vvp-tgt sorry: only 64 bit " - "delays are supported in a continuous " - "assignment.\n", ivl_expr_file(rise_exp), - ivl_expr_lineno(rise_exp)); - assert(0); - } - fprintf(vvp_out, "L_%p .delay %u (%" PRIu64 ",%" PRIu64 ",%" PRIu64 ") L_%p/d;\n", lptr, dly_width, get_number_immediate64(rise_exp), @@ -1146,17 +1135,6 @@ static const char* draw_lpm_output_delay(ivl_lpm_t net, ivl_variable_type_t dt) assert(! number_is_unknown(d_fall)); assert(! number_is_unknown(d_decay)); - // .delay (x,y,z) only supports a 64 bit delay value. - if ((! number_is_immediate(d_rise, 64, 0)) || - (! number_is_immediate(d_fall, 64, 0)) || - (! number_is_immediate(d_decay, 64, 0))) { - fprintf(stderr, "%s:%u: vvp-tgt sorry: only 64 bit " - "delays are supported in a continuous " - "assignment.\n", ivl_expr_file(d_rise), - ivl_expr_lineno(d_rise)); - assert(0); - } - dly = "/d"; fprintf(vvp_out, "L_%p .delay %u (%" PRIu64 ",%" PRIu64 ",%" PRIu64 ")" " L_%p/d;\n", net, width,