Lines Matching full:n
30 verifyFormat("x <= x;\n"
31 "sfdbddfbdfbb <= x;\n"
34 verifyFormat("x = x;\n"
35 "sfdbddfbdfbb = x;\n"
40 verifyFormat("x <= x;\n"
43 verifyFormat("x += x;\n"
46 verifyFormat("x <<= x;\n"
49 verifyFormat("x <<<= x;\n"
52 verifyFormat("x >>= x;\n"
55 verifyFormat("x >>>= x;\n"
59 verifyFormat("x <= x;\n"
62 verifyFormat("x += x;\n"
65 verifyFormat("x <<= x;\n"
68 verifyFormat("x <<<= x;\n"
71 verifyFormat("x >>= x;\n"
74 verifyFormat("x >>>= x;\n"
85 verifyFormat("assign mynet = enable,\n"
89 verifyFormat("assign mynet = enable1 <= enable2,\n"
91 verifyFormat("assign mynet = enable,\n"
118 verifyFormat("begin\n"
119 " x = x;\n"
121 verifyFormat("begin : x\n"
122 " x = x;\n"
124 verifyFormat("begin\n"
125 " x = x;\n"
126 " x = x;\n"
128 verifyFormat("fork\n"
129 " x = x;\n"
131 verifyFormat("fork\n"
132 " x = x;\n"
134 verifyFormat("fork\n"
135 " x = x;\n"
137 verifyFormat("generate\n"
138 " x = x;\n"
140 verifyFormat("generate : x\n"
141 " x = x;\n"
144 verifyFormat("begin\n"
145 " begin\n"
146 " end\n"
148 verifyFormat("begin : x\n"
149 " begin\n"
150 " end\n"
152 verifyFormat("begin : x\n"
153 " begin : x\n"
154 " end : x\n"
156 verifyFormat("begin\n"
157 " begin : x\n"
158 " end : x\n"
161 verifyFormat("disable fork;\n"
163 verifyFormat("rand join x x;\n"
167 verifyFormat("while (true) //\n"
168 "begin\n"
169 " while (true) //\n"
170 " begin\n"
171 " end\n"
173 verifyFormat("while (true) //\n"
174 "begin : x\n"
175 " while (true) //\n"
176 " begin : x\n"
177 " end : x\n"
179 verifyFormat("while (true) //\n"
180 "fork\n"
181 " while (true) //\n"
182 " fork\n"
183 " join\n"
187 verifyFormat("while (true)\n"
188 "begin\n"
189 " while (true)\n"
190 " begin\n"
191 " end\n"
193 "while (true) begin\n"
195 " end\n"
201 verifyFormat("case (data)\n"
203 verifyFormat("casex (data)\n"
205 verifyFormat("casez (data)\n"
207 verifyFormat("case (data) inside\n"
209 verifyFormat("case (data)\n"
210 " 16'd0:\n"
211 " result = 10'b0111111111;\n"
213 verifyFormat("case (data)\n"
214 " xxxxxxxx:\n"
215 " result = 10'b0111111111;\n"
218 verifyFormat("case (data)\n"
219 " 16'd0, 16'd1:\n"
220 " result = 10'b0111111111;\n"
222 verifyFormat("case (data)\n"
223 " 16'd0, //\n"
224 " 16'd1:\n"
225 " result = 10'b0111111111;\n"
228 verifyFormat("case (data)\n"
229 " 16'd1: fork\n"
230 " result = 10'b1011111111;\n"
231 " join\n"
233 verifyFormat("case (data)\n"
234 " 16'd1: fork : x\n"
235 " result = 10'b1011111111;\n"
236 " join : x\n"
239 verifyFormat("case (data)\n"
240 " default\n"
241 " result = 10'b1011111111;\n"
243 verifyFormat("case (data)\n"
244 " default:\n"
245 " result = 10'b1011111111;\n"
248 verifyFormat("case (data)\n"
249 " 8'b1???????:\n"
250 " instruction1(ir);\n"
252 verifyFormat("case (data)\n"
253 " x ? 8'b1??????? : 1:\n"
254 " instruction3(ir);\n"
259 verifyFormat("case (data)\n"
260 "16'd0:\n"
261 " result = 10'b0111111111;\n"
264 verifyFormat("case (data)\n"
265 "16'd0: begin\n"
266 " result = 10'b0111111111;\n"
267 "end\n"
271 verifyFormat("case (data)\n"
272 " 16'd0:\n"
273 " result = 10'b0111111111;\n"
276 verifyFormat("case (data)\n"
277 " 16'd0: begin\n"
278 " result = 10'b0111111111;\n"
279 " end\n"
285 verifyFormat("case (x[1:0])\n"
288 verifyFormat("default:\n"
292 verifyFormat("case (x[1 : 0])\n"
295 verifyFormat("default:\n"
300 verifyFormat("case ('{x : x, default : 9})\n"
304 verifyFormat("default:\n"
308 verifyFormat("case ('{x: x, default: 9})\n"
312 verifyFormat("default:\n"
317 verifyFormat("case (data)\n"
318 " 16'd0:\n"
319 " result = //\n"
320 " 10'b0111111111;\n"
322 verifyFormat("case (data)\n"
323 " 16'd0, //\n"
324 " 16'd1:\n"
325 " result = //\n"
326 " 10'b0111111111;\n"
328 verifyFormat("case (data)\n"
329 " 16'd0:\n"
330 " result = (10'b0111111111 + //\n"
331 " 10'b0111111111 + //\n"
332 " 10'b0111111111);\n"
334 verifyFormat("case (data)\n"
335 " 16'd0:\n"
336 " result = //\n"
337 " (10'b0111111111 + //\n"
338 " 10'b0111111111 + //\n"
339 " 10'b0111111111);\n"
341 verifyFormat("case (data)\n"
342 " 16'd0:\n"
343 " result = //\n"
344 " longfunction( //\n"
345 " arg);\n"
347 verifyFormat("case (data)\n"
348 " 16'd0:\n"
349 " //\n"
350 " result = //\n"
351 " 10'b0111111111;\n"
353 verifyFormat("case (data)\n"
354 " 16'd0:\n"
355 " //\n"
356 "\n"
357 " //\n"
358 " result = //\n"
359 " 10'b0111111111;\n"
363 verifyFormat("case (data)\n"
364 " 16'd0:\n"
365 " result = //\n"
366 " 10'b0111111111;\n"
369 verifyFormat("case (data)\n"
370 " 16'd0:\n"
371 " result = //\n"
372 " longfunction( //\n"
373 " arg);\n"
377 verifyFormat("case (v) matches\n"
378 " tagged Valid .n:\n"
379 " ;\n"
384 verifyFormat("covergroup x\n"
385 " @@(begin x);\n"
392 verifyFormat("wire mynet, //\n"
397 verifyFormat("wire #0 mynet, //\n"
399 verifyFormat("wire logic #0 mynet, //\n"
401 verifyFormat("wire #(1, 2, 3) mynet, //\n"
405 verifyFormat("wire mynet = enable, //\n"
408 verifyFormat("wire mynet, //\n"
411 verifyFormat("wire mynet = enable, //\n"
415 verifyFormat("wire (strong1, pull0) mynet, //\n"
419 verifyFormat("wire (strong1, pull0) mynet = enable, //\n"
422 verifyFormat("wire (strong1, pull0) mynet, //\n"
445 verifyFormat("#1 x = x;", "#1\n"
465 verifyFormat("module mh1\n"
466 " (input var int in1,\n"
467 " input var shortreal in2,\n"
468 " output tagged_st out);\n"
471 verifyFormat("module test\n"
472 " (input wire [7 : 0] a,\n"
473 " input wire b[7 : 0],\n"
474 " input wire [7 : 0] c[7 : 0]);\n"
477 verifyFormat("module test\n"
478 " (input [7 : 0] a,\n"
479 " input signed [7 : 0] b, c, d);\n"
481 verifyFormat("module test\n"
482 " (input [7 : 0] a,\n"
483 " (* x = x *) input signed [7 : 0] b, c, d);\n"
485 verifyFormat("module test\n"
486 " (input [7 : 0] a = 0,\n"
487 " input signed [7 : 0] b = 0, c = 0, d = 0);\n"
489 verifyFormat("module test\n"
490 " #(parameter x)\n"
491 " (input [7 : 0] a,\n"
492 " input signed [7 : 0] b, c, d);\n"
496 verifyFormat("module test\n"
497 " (input signed [7 : 0] b, c, //\n"
498 " d);\n"
500 verifyFormat("module test\n"
501 " ((* x = x *) input signed [7 : 0] b, c, //\n"
502 " d);\n"
504 verifyFormat("module test\n"
505 " (input signed [7 : 0] b = 0, c, //\n"
506 " d);\n"
508 verifyFormat("module test\n"
509 " (input signed [7 : 0] b, c = 0, //\n"
510 " d);\n"
512 verifyFormat("module test\n"
513 " (input signed [7 : 0] b, c, //\n"
514 " d = 0);\n"
516 verifyFormat("module test\n"
517 " (input wire logic signed [7 : 0][0 : 1] b, c, //\n"
518 " d);\n"
520 verifyFormat("module test\n"
521 " (input signed [7 : 0] b, //\n"
522 " c, //\n"
523 " d);\n"
525 verifyFormat("module test\n"
526 " (input [7 : 0] a,\n"
527 " input signed [7 : 0] b, //\n"
528 " c, //\n"
529 " d);\n"
531 verifyFormat("module test\n"
532 " (input signed [7 : 0] b, //\n"
533 " c, //\n"
534 " d,\n"
535 " output signed [7 : 0] h);\n"
538 verifyFormat("module m\n"
539 " (i2.master i);\n"
541 verifyFormat("module m\n"
542 " (i2.master i, ii);\n"
544 verifyFormat("module m\n"
545 " (i2.master i, //\n"
546 " ii);\n"
548 verifyFormat("module m\n"
549 " (i2.master i,\n"
550 " input ii);\n"
552 verifyFormat("module m\n"
553 " (i2::i2.master i);\n"
555 verifyFormat("module m\n"
556 " (i2::i2.master i, ii);\n"
558 verifyFormat("module m\n"
559 " (i2::i2.master i, //\n"
560 " ii);\n"
562 verifyFormat("module m\n"
563 " (i2::i2.master i,\n"
564 " input ii);\n"
566 verifyFormat("module m\n"
567 " (i2::i2 i);\n"
569 verifyFormat("module m\n"
570 " (i2::i2 i, ii);\n"
572 verifyFormat("module m\n"
573 " (i2::i2 i, //\n"
574 " ii);\n"
576 verifyFormat("module m\n"
577 " (i2::i2 i,\n"
578 " input ii);\n"
581 verifyFormat("module m\n"
582 " (input var `x a, b);\n"
584 verifyFormat("module m\n"
585 " (input var `x a, //\n"
586 " b);\n"
588 verifyFormat("module m\n"
589 " (input var x `a, b);\n"
591 verifyFormat("module m\n"
592 " (input var x `a, //\n"
593 " b);\n"
596 verifyFormat("extern module x\n"
597 " (//\n"
599 verifyFormat("extern module x\n"
600 " #(//\n"
601 " parameter x)\n"
602 " (//\n"
607 verifyFormat("`define X(x) \\\n"
608 " module test \\\n"
611 verifyFormat("`define X(x) \\\n"
612 " module test \\\n"
613 " (input var x``x aaaaaaaaaaaaaaa, \\\n"
616 verifyFormat("`define X(x) \\\n"
617 " module test \\\n"
620 verifyFormat("`define X(x) \\\n"
621 " module test \\\n"
622 " (input var x aaaaaaaaaaaaaaa``x, \\\n"
627 verifyFormat("module x\n"
628 " (output x);\n"
629 " assign x = 0;\n"
631 "module x\n"
632 " (output x);\n"
633 " assign x = 0;\n"
639 verifyFormat("module x;\n"
642 verifyFormat("module x;\n"
645 verifyFormat("module x;\n"
646 " generate\n"
647 " endgenerate\n"
649 verifyFormat("program x;\n"
650 " generate\n"
651 " endgenerate\n"
653 verifyFormat("interface x;\n"
654 " generate\n"
655 " endgenerate\n"
657 verifyFormat("task x;\n"
658 " generate\n"
659 " endgenerate\n"
661 verifyFormat("function x;\n"
662 " generate\n"
663 " endgenerate\n"
665 verifyFormat("class x;\n"
666 " generate\n"
667 " endgenerate\n"
670 verifyFormat("module x;\n"
671 " program x;\n"
672 " program x;\n"
673 " endprogram\n"
674 " endprogram\n"
677 verifyFormat("extern module x;\n"
680 verifyFormat("extern module x\n"
681 " import x.x::x::*;\n"
682 " import x;\n"
683 " #(parameter x)\n"
685 verifyFormat("module x\n"
686 " import x.x::x::*;\n"
687 " import x;\n"
688 " #(parameter x)\n"
689 " (output x);\n"
690 " generate\n"
691 " endgenerate\n"
693 verifyFormat("virtual class x\n"
694 " (x)\n"
695 " extends x(x)\n"
696 " implements x, x, x;\n"
697 " generate\n"
698 " endgenerate\n"
700 verifyFormat("function automatic logic [1 : 0] x\n"
701 " (input x);\n"
702 " generate\n"
703 " endgenerate\n"
706 verifyFormat("function automatic x::x x\n"
707 " (input x);\n"
710 verifyFormat("function automatic x::x x``x\n"
711 " (input x);\n"
713 verifyFormat("function automatic x::x `x\n"
714 " (input x);\n"
729 verifyFormat("\\busa+index ;", "\\busa+index\n"
731 verifyFormat("\\busa+index ;", "\\busa+index\r\n"
734 verifyFormat("\\busa+index ;", "\\busa+index\n"
742 verifyFormat("if (x)\n"
744 verifyFormat("unique if (x)\n"
746 verifyFormat("unique0 if (x)\n"
748 verifyFormat("priority if (x)\n"
750 verifyFormat("if (x)\n"
751 " x = x;\n"
755 verifyFormat("if (x)\n"
756 " x = x;\n"
757 "else if (x)\n"
758 " x = x;\n"
759 "else\n"
761 verifyFormat("if (x) begin\n"
762 " x = x;\n"
763 "end else if (x) begin\n"
764 " x = x;\n"
765 "end else begin\n"
766 " x = x;\n"
768 verifyFormat("if (x) begin : x\n"
769 " x = x;\n"
770 "end : x else if (x) begin : x\n"
771 " x = x;\n"
772 "end : x else begin : x\n"
773 " x = x;\n"
777 verifyFormat("if (x) begin\n"
778 " x = x;\n"
780 verifyFormat("if (x) begin : x\n"
781 " x = x;\n"
783 verifyFormat("if (x) begin\n"
784 " x = x;\n"
785 " x = x;\n"
787 verifyFormat("if (x) fork\n"
788 " x = x;\n"
790 verifyFormat("if (x) fork\n"
791 " x = x;\n"
793 verifyFormat("if (x) fork\n"
794 " x = x;\n"
796 verifyFormat("if (x) generate\n"
797 " x = x;\n"
799 verifyFormat("if (x) generate : x\n"
800 " x = x;\n"
804 verifyFormat("if (x)\n"
806 verifyFormat("if (x)\n"
808 verifyFormat("if (x)\n"
809 " x = {x};\n"
810 "else\n"
814 verifyFormat("(* x *) if (x)\n"
816 verifyFormat("(* x = \"x\" *) if (x)\n"
818 verifyFormat("(* x, x = \"x\" *) if (x)\n"
824 verifyFormat("assert (x)\n"
826 verifyFormat("assert (x)\n"
827 " $info();\n"
828 "else\n"
830 verifyFormat("assert (x)\n"
831 "else\n"
833 verifyFormat("assert (x)\n"
834 "else begin\n"
836 verifyFormat("assert (x)\n"
837 "else\n"
838 " if (x)\n"
840 verifyFormat("assert (x)\n"
841 " $info();\n"
842 "else\n"
843 " if (x)\n"
845 verifyFormat("assert (x)\n"
846 " $info();\n"
847 "else\n"
848 " if (x)\n"
849 " $error();\n"
850 " else\n"
852 verifyFormat("assert (x)\n"
853 " $info();\n"
854 "else\n"
855 " if (x)\n"
856 " $error();\n"
857 " else if (x)\n"
858 " $error();\n"
859 " else\n"
863 verifyFormat("assert (x);\n"
865 verifyFormat("if (x)\n"
866 " assert (x);\n"
867 "else if (x) begin\n"
868 "end else begin\n"
870 verifyFormat("if (x)\n"
871 " assert (x);\n"
872 "else begin\n"
874 verifyFormat("if (x)\n"
875 " assert (x)\n"
876 " else begin\n"
879 verifyFormat("assume (x)\n"
881 verifyFormat("cover (x)\n"
883 verifyFormat("restrict (x)\n"
885 verifyFormat("assert #0 (x)\n"
887 verifyFormat("assert final (x)\n"
889 verifyFormat("cover #0 (x)\n"
891 verifyFormat("cover final (x)\n"
896 verifyFormat("if (x)\n"
897 " x = x;\n"
898 "else if (x)\n"
903 verifyFormat("assert (x)\n"
904 "else\n"
905 " if (x)\n"
910 verifyFormat("if ( x )\n"
911 " x = x;\n"
912 "else if ( x )\n"
917 verifyFormat("assert ( x )\n"
918 "else\n"
919 " if ( x )\n"
928 verifyFormat("ffnand ff1(.qbar(out1),\n"
929 " .clear(in1),\n"
932 verifyFormat("ffnand ff1(.qbar(out1),\n"
933 " .clear(in1),\n"
934 " .preset(in2),\n"
936 verifyFormat("ffnand ff1(.*,\n"
937 " .qbar(out1),\n"
938 " .clear(in1),\n"
941 verifyFormat("ffnand ff1(.q(),\n"
942 " .qbar(out1),\n"
943 " .clear(in1),\n"
945 verifyFormat("ffnand ff1(.q(),\n"
946 " .qbar(),\n"
947 " .clear(),\n"
949 verifyFormat("ffnand ff1(,\n"
950 " .qbar(out1),\n"
951 " .clear(in1),\n"
954 verifyFormat("ffnand ff1(out1,\n"
955 " in1,\n"
957 verifyFormat("ffnand ff1(,\n"
958 " out1,\n"
959 " in1,\n"
962 verifyFormat("ffnand ff1(.q(),\n"
963 " .qbar(out1),\n"
964 " .clear(in1),\n"
965 " .preset(in2)),\n"
966 " ff1(.q(),\n"
967 " .qbar(out1),\n"
968 " .clear(in1),\n"
970 verifyFormat("ffnand //\n"
971 " ff1(.q(),\n"
972 " .qbar(out1),\n"
973 " .clear(in1),\n"
974 " .preset(in2)),\n"
975 " ff1(.q(),\n"
976 " .qbar(out1),\n"
977 " .clear(in1),\n"
987 verifyFormat("ffnand ff1(.q(), .qbar(out1), .clear(in1), .preset(in2)),\n"
990 verifyFormat("ffnand //\n"
991 " ff1(.q(), .qbar(out1), .clear(in1), .preset(in2)),\n"
997 verifyFormat("foreach (x[x])\n"
999 verifyFormat("repeat (x)\n"
1001 verifyFormat("foreach (x[x]) begin\n"
1003 verifyFormat("repeat (x) begin\n"
1008 verifyFormat("foreach ( x[x] )\n"
1011 verifyFormat("repeat ( x )\n"
1094 verifyFormat("`define X \\\n"
1095 " if (x) \\\n"
1098 verifyFormat("`define X(x) \\\n"
1099 " if (x) \\\n"
1102 verifyFormat("`define X \\\n"
1103 " x = x; \\\n"
1107 verifyFormat("`define LIST \\\n"
1108 " `ENTRY \\\n"
1110 "`define LIST \\\n"
1111 "`ENTRY \\\n"
1114 verifyFormat("`define LIST \\\n"
1115 " `x = `x; \\\n"
1117 "`define LIST \\\n"
1118 "`x = `x; \\\n"
1121 verifyFormat("`define LIST \\\n"
1122 " `x = `x; \\\n"
1151 verifyFormat("if (x)\n"
1154 "\n"
1156 "if (x)\n"
1159 "\n"
1165 verifyFormat("if (x)\n"
1166 " `x = `x;\n"
1168 "if (x)\n"
1169 "`x = `x;\n"
1172 verifyFormat("if (x)\n"
1173 "`timescale 1ns / 1ps\n"
1175 "if (x)\n"
1176 "`timescale 1ns / 1ps\n"
1185 verifyFormat("if (x)\n"
1188 "if (x)\n"
1191 "\n"
1198 verifyFormat("primitive multiplexer\n"
1199 " (mux, control, dataA, dataB);\n"
1200 " output mux;\n"
1201 " input control, dataA, dataB;\n"
1202 " table\n"
1203 " 0 1 ? : 1;\n"
1204 " 0 0 ? : 0;\n"
1205 " 1 ? 1 : 1;\n"
1206 " 1 ? 0 : 0;\n"
1207 " x 0 0 : 0;\n"
1208 " x 1 1 : 1;\n"
1209 " endtable\n"
1211 verifyFormat("primitive latch\n"
1212 " (q, ena_, data);\n"
1213 " output q;\n"
1214 " reg q;\n"
1215 " input ena_, data;\n"
1216 " table\n"
1217 " 0 1 : ? : 1;\n"
1218 " 0 0 : ? : 0;\n"
1219 " 1 ? : ? : -;\n"
1220 " ? * : ? : -;\n"
1221 " endtable\n"
1223 verifyFormat("primitive d\n"
1224 " (q, clock, data);\n"
1225 " output q;\n"
1226 " reg q;\n"
1227 " input clock, data;\n"
1228 " table\n"
1229 " (01) 0 : ? : 0;\n"
1230 " (01) 1 : ? : 1;\n"
1231 " (0?) 1 : 1 : 1;\n"
1232 " (0?) 0 : 0 : 0;\n"
1233 " (?0) ? : ? : -;\n"
1234 " (?\?) ? : ? : -;\n"
1235 " endtable\n"
1352 verifyFormat("c = //\n"
1356 verifyFormat("c = //\n"
1363 verifyFormat("initial begin\n"
1365 verifyFormat("initial begin\n"
1366 " x <= x;\n"
1367 " x <= x;\n"
1369 verifyFormat("initial\n"
1370 " x <= x;\n"
1372 verifyFormat("always @(x) begin\n"
1374 verifyFormat("always @(x) begin\n"
1375 " x <= x;\n"
1376 " x <= x;\n"
1378 verifyFormat("always @(x)\n"
1379 " x <= x;\n"
1382 verifyFormat("always @(x)\n"
1384 verifyFormat("always @(posedge x)\n"
1386 verifyFormat("always @(posedge x or posedge y)\n"
1388 verifyFormat("always @(posedge x, posedge y)\n"
1390 verifyFormat("always @(negedge x, negedge y)\n"
1392 verifyFormat("always @(edge x, edge y)\n"
1394 verifyFormat("always\n"
1396 verifyFormat("always @*\n"
1398 verifyFormat("always @(*)\n"
1400 verifyFormat("always_comb\n"
1402 verifyFormat("always_latch @(x)\n"
1404 verifyFormat("always_ff @(posedge x)\n"
1406 verifyFormat("initial\n"
1408 verifyFormat("final\n"
1410 verifyFormat("forever\n"