| // |
| // Copyright (c) 1999 Steven Wilson (stevew@home.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 |
| // General Public License as published by the Free Software |
| // Foundation; either version 2 of the License, or (at your option) |
| // any later version. |
| // |
| // This program is distributed in the hope that it will be useful, |
| // but WITHOUT ANY WARRANTY; without even the implied warranty of |
| // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| // GNU General Public License for more details. |
| // |
| // You should have received a copy of the GNU General Public License |
| // along with this program; if not, write to the Free Software |
| // Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA |
| // |
| // SDW - Validate always reg_lvalue <= # (mintypmax_expression) boolean_expr ; |
| // D: This guy doesn't stop.. |
| |
| module main ; |
| |
| reg [3:0] value1 ; |
| |
| initial |
| begin |
| # 3; /* Wait till here to verify didn't see 2ns delay! */ |
| if(value1 !== 4'hx) |
| $display("FAILED - always reg_lvalue <= # (mintypmax_expression) boolean_expr \n"); |
| #12 ; |
| if(value1 != 4'h5) |
| $display("FAILED - always reg_lvalue <= # (mintypmax_expression) boolean_expr \n"); |
| else |
| begin |
| $display("PASSED\n"); |
| $finish ; |
| end |
| end |
| |
| always value1 <= # (2:10:17) 1'b1 && 1'b1 ; |
| |
| endmodule |
| |
| |
