diff --git a/tgt-vvp/draw_mux.c b/tgt-vvp/draw_mux.c index ded4732a7..8e21c2f18 100644 --- a/tgt-vvp/draw_mux.c +++ b/tgt-vvp/draw_mux.c @@ -1,5 +1,5 @@ /* - * Copyright (c) 2002-2009 Stephen Williams (steve@icarus.com) + * Copyright (c) 2002-2010 Stephen Williams (steve@icarus.com) * * This source code is free software; you can redistribute it * and/or modify it in source code form under the terms of the GNU @@ -53,17 +53,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 (%" PRIu64 ",%" PRIu64 ",%" PRIu64 ") L_%p/d;\n", net, get_number_immediate64(d_rise), get_number_immediate64(d_fall), diff --git a/tgt-vvp/vvp_scope.c b/tgt-vvp/vvp_scope.c index 412eb5e45..eb3a200ef 100644 --- a/tgt-vvp/vvp_scope.c +++ b/tgt-vvp/vvp_scope.c @@ -878,17 +878,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 (%" PRIu64 ",%" PRIu64 ",%" PRIu64 ") L_%p/d;\n", lptr, get_number_immediate64(rise_exp), get_number_immediate64(fall_exp), @@ -1099,17 +1088,6 @@ static const char* draw_lpm_output_delay(ivl_lpm_t net) 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 (%" PRIu64 ",%" PRIu64 ",%" PRIu64 ")" " L_%p/d;\n", net, get_number_immediate64(d_rise),