forked from steveicarus/ivtest
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathregress.list
5096 lines (4853 loc) · 180 KB
/
regress.list
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
#
# Copyright (c) 1999 Guy Hutchison ([email protected])
#
# 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
#
# Format of the file
#
# testname testtype directory
#
# The <testname> is the verilog file name minus an extension. It may contain
# an optional version prefix separated from the name with a ":". The test
# suite will use a version specific test instead of the default case.
#
# The <testtype> can be one of the following:
#
# normal: Normal results expected, i.e it should compile and execute
# producing at least a single line with PASSED.
#
# CO: Compile Only - Compile the file to the default output type.
#
# CN: Compile Null - Compile with the null target. Similar to CO.
#
# CE: Compile with Errors - We EXPECT errors - we're checking
# illegal syntax
#
# RE: Runtime with Errors - We EXPECT errors - we're checking
# illegal syntax
#
# EF: Expected Fail - We EXPECT this test to fail - only use
# with older versions of Icarus.
#
# TE: Translation Error - We EXPECT the translated code to fail -
# only supported in the vlog95 checker.
#
# NI: Not implemented. Only use for version specific tests.
#
# <directory> is where the <testname>.v file is located.
#
# An optional fourth and fifth argument can be supplied.
#
# The fourth argument may be one of the following.
#
# modulename - Defines the top level module
# gold=filename - Compare a gold file against the generated log file.
# diff=filename1:filename2:skip_ln - Compare the two files for equality.
# Skip the first <skip_ln> lines or none.
#
# If a <modulename> is given you can supply a fifth argument for the
# gold or diff commands.
#
#---------------------------------------------------------
# I believe the following are bugs in the other simulator.
#---------------------------------------------------------
# An assign should allow a concatentation of bit selects (1364-2005, 9.3.1).
vstd:assign3.2E NI
# 1364-2005 defined 0**<negative> to be 'bx not 0
vstd:pr2909386a EF ivltests
vstd:pr2909386b EF ivltests
# Problems with +: and a negative index, returns 'bx.
vstd:signed_part EF ivltests
vstd:signed_pv EF ivltests
# also problems at the positive ends.
vstd:pr2835632b EF ivltests
# Problems with out of bounds bit selects when ranges contain
# negative values.
vstd:pr3054101b EF ivltests
# Problems with partially out of bound part selects, returns 'bx.
vstd:pr1978358 EF ivltests
vstd:pr1978358b EF ivltests
vstd:pr1978358c EF ivltests
vstd:pr3054101c EF ivltests
vstd:pr3054101d EF ivltests
vstd:pr3054101e EF ivltests
vstd:pr3054101f EF ivltests
# The for loop index in a sensitivity list is not working correctly at T0.
vstd:pr1026 EF ivltests
# Problems with assigning to an out of bounds array.
vstd:pr2815398b CE ivltests
# Problems taking a part select on an overridden parameter.
vstd:sp2 EF ivltests
# I believe these should be accepted, but they need to be checked.
vstd:pr1723367 CE ivltests
# A partially out of bounds write should still write the in bounds bits.
vstd:pr1990269 EF ivltests
# and should write the correct bits!
vstd:pr1990029 EF ivltests
# Variables declared in automatic tasks are not allowed to be traced by
# system tasks such as $monitor or $dumpvars
vstd:automatic_error11 EF ivltests
vstd:automatic_error12 EF ivltests
vstd:automatic_error13 EF ivltests
# A zero replication of a system/user function call should call the function.
vstd:concat3 EF ivltests
vstd:concat4 EF ivltests
# Problems with zero replication
vstd:repl_zero_wid_pass EF ivltests
vstd:pr2688910 EF ivltests
# For port size mismatches, excess bits are undriven. I think this is wrong,
# but what do other simulators do?
vstd:pr1866215 EF ivltests
vstd:pr1866215b EF ivltests
vstd:pr2121536 EF ivltests
vstd:pr2121536b EF ivltests
vstd:pr2224949 EF ivltests
# Multiple problems with $fread
vstd:fread EF ivltests
# $sscanf doesn't round a value read using the %t format
vstd:scanf2 EF ivltests
# $value$plusargs does not support 'x', 'z', or '_' in values.
vstd:pr2202706c EF ivltests
# Problem with shift with undefined shift value
vstd:undefined_shift EF ivltests
#------------------------------------
# Acceptable, but different behavior.
#------------------------------------
# The behavior of scheduled, but not executed nonblocking assignments is
# undefined if the enclosing block is disabled (1364-2005, 10.3).
vstd:always3.1.9C EF ivltests
# The warning messages are different. Need tool specific file.
vstd:array_word_check EF ivltests
vstd:mem1 EF ivltests
vstd:fdisplay_fail_fd EF ivltests
vstd:fdisplay_fail_mcd EF ivltests
vstd:fread-error EF ivltests
vstd:pic EF contrib pictest diff=log/pic.log:gold/pic.gold
vstd:pr751 normal ivltests diff=log/pr751.log:gold/pr751_std.gold
vstd:pr987 normal ivltests diff=log/pr987.log:gold/pr987_std.gold
vstd:pr2800985a EF ivltests
vstd:pr2800985b EF ivltests
vstd:readmem-error EF ivltests
vstd:readmem-invalid CE ivltests
vstd:scan-invalid EF ivltests
vstd:sel_rval_bit_ob normal ivltests
vstd:writemem-error EF ivltests
vstd:writemem-invalid CE ivltests
vstd:undef CE ivltests
vstd:pr2043585 normal ivltests diff=log/pr2043585.log:gold/pr2043585_std.gold
# spacing differences are also OK
vstd:resetall2 normal ivltests diff=log/resetall2.log:gold/resetall2_std.gold
# This has a trialing space is that OK?
vstd:pr1661640 normal ivltests diff=log/pr1661640.log:gold/pr1661640_std.gold
# $timeformat is ignored if there is no timescale.
vstd:pr530a EF ivltests
# The SV random functions return different results. Is this OK?
vstd:urand EF ivltests diff=log/urand.log:gold/urand.gold
vstd:urand_r EF ivltests diff=log/urand_r.log:gold/urand_r.gold
# Some out of bounds selects can fail. Though you should still get the
# in bounds bits. Some of these do not do that!
vstd:pr1960633 EF ivltests
vstd:pr1978358d EF ivltests
vstd:pr1993479 EF ivltests
vstd:pr2166311 NI
vstd:pr2835632a NI
# A 'bx or 'bz in a part select gives odd messages, but failing is OK.
vstd:sel_rval_part_ob NI
vstd:pr2434688 NI
vstd:pr2434688b NI
# No support for $fflush with a zero mcd.
vstd:pr2842621 NI
# Icarus prints a string parameter as a string others don't.
vstd:param_string EF ivltests
# pullup and pulldown have a T0 propagation delay. Is this a bug?
vstd:pr1787423b EF ivltests
vstd:pr1787423b_std normal ivltests
# No -0 support.
vstd:pr1752823a EF ivltests
vstd:pr1752823b EF ivltests
# numeric display differences no trailing zeros, etc.
vstd:nested_func normal ivltests diff=log/nested_func.log:gold/nested_func_std.gold
vstd:pr2251119 normal ivltests diff=log/pr2251119.log:gold/pr2251119_std.gold
vstd:pr2792897 EF ivltests
vstd:pr2792897_std normal ivltests
# Missing T0 event and space difference in %d.
vstd:pr1002 normal ivltests diff=log/pr1002.log:gold/pr1002_std.gold
# only the space difference here.
vstd:pr1002a normal ivltests diff=log/pr1002a.log:gold/pr1002a_std.gold
vstd:pr584 normal ivltests diff=log/pr584.log:gold/pr584_std.gold
# Icarus allows connection to a module port that has no internal connection,
# whilst the other simulator does not. The standard doesn't have much to
# say about this.
vstd:pr1723367 CE ivltests
# The standard only defines the %v format for scalar nets.
vstd:multi_bit_strength normal ivltests diff=log/multi_bit_strength.log:gold/multi_bit_strength_std.gold
# Need an intelligent VCD diff utility for these to pass.
vstd:vcd-dup EF ivltests
vstd:dump_memword EF ivltests
# Icarus reports the name of the VCD file being used, other simulators don't.
vstd:pr1963962 NI
# This test contains a race, but the bug it is testing for requires two
# tasks to call the same function in the same delta cycle.
vstd:pr2001162 normal ivltests diff=log/pr2001162.log:gold/pr2001162_std.gold
# The large delay is not supported, also display differences:
vstd:delay_var NI
# Icarus gives a warning when an input port is coerced to inout.
vstd:pr3194155 normal ivltests diff=log/pr3194155.log:gold/pr3194155_std.gold
# The IEEE numeric_bit package generates a divide-by-zero assertion failure
# at time-0 when these tests are run. I can't find any way to disable this.
vstd:vhdl_sdiv23_bit CE
vstd:vhdl_udiv23_bit CE
#-------------------------------
# Other simulator limitations.
#-------------------------------
# uwire only appeared in the 2005 standard, so not all simulators support it.
vstd:uwire NI
# Calling a system function as a task without casting to void is not
# supported.
vstd:sys_func_as_task NI
# No support for enumeration ranges
vstd:enum_base_range NI
vstd:enum_elem_ranges NI
vstd:enum_test1 NI
vstd:enum_value_expr NI
#-------------------------------
# Icarus limitations.
#-------------------------------
# Limited support for event expressions in automatic scopes
vstd:automatic_error4 NI
#-------------------------------
# Unsupported Icarus extensions.
#-------------------------------
# No support of left aligned formats, etc.
vstd:pr2476430 NI
# No support for the M_* defines add a fake include file to make it work?
vstd:test_va_math NI
vstd:test_vams_math NI
# $sscanf can not get the value from a parameter.
vstd:pr2728547 NI
# No $sizeof
vstd:concat1 NI
vstd:concat2 NI
# No $abstime
vstd:abstime NI
vstd:pr2590274a NI
vstd:pr2590274b NI
vstd:pr2590274c NI
# No $simtime
vstd:time6 NI
# not checked yet. Can some of these be recoded to use a standard function?
vstd:blocking_repeat_ec NI
vstd:ca_time NI
vstd:nb_array_pv NI
vstd:nb_ec_array_pv NI
vstd:nb_ec_array NI
vstd:nb_ec_pv NI
vstd:nb_ec_pv2 NI
vstd:nb_ec_real NI
vstd:nb_ec_vector NI
vstd:pr534 NI
vstd:pr639 NI
vstd:pr2486350 NI
vstd:stime NI
vstd:swrite NI
# No support for $simparam.
vstd:simparam NI
# No support for $readmempath.
vstd:pr2509349a NI
vstd:pr2509349b NI
# No support for $is_signed.
vstd:pr1494799 NI
vstd:pr2428890c NI
# No support for $bits. Try with SV flag.
vstd:bitwidth3 NI
#vstd:clog2 NI
vstd:param_vec2 NI
vstd:param_vec NI
vstd:pr498 NI
vstd:pr721 NI
vstd:pr809b NI
vstd:pr809 NI
vstd:pr979 NI
vstd:pr1000 NI
vstd:pr1609611 NI
vstd:pr1750870 NI
vstd:pr1765789 NI
vstd:pr1771903 NI
vstd:pr1793749 NI
vstd:pr1861212b NI
#vstd:pr1864110c NI
vstd:pr1864115 NI
vstd:pr2806449 NI
vstd:pr2877555 NI
vstd:real4 NI
vstd:tern3 NI
#vstd:v2005_math NI
# No support for math functions. These are really 1364-2005 bugs.
vstd:ca_real_logical NI
vstd:cast_int NI
vstd:clog2-signal NI
vstd:pr2139593 NI
vstd:pr2152011 NI
vstd:pr2728812a NI
vstd:real_logical NI
vstd:va_math NI
# The optional system functions are not supported.
vstd:warn_opt_sys_tf NI
# Some $printtimescale differences (NULL port, selects, etc.).
vstd:pr1701855 NI
vstd:pr1701855b NI
# No support for wire real. Is there some way to add these?
vstd:ca_64delay NI
vstd:cast_real_signed NI
vstd:cast_real_unsigned NI
vstd:ca_time NI
vstd:ca_var_delay NI
vstd:clog2 NI
vstd:pr1861212c NI
vstd:pr1861212d NI
vstd:pr1864110a NI
vstd:pr1864110b NI
vstd:pr1864110c NI
vstd:pr1864115 NI
vstd:pr1873372 NI
vstd:pr1880003 NI
vstd:pr1898293 NI
vstd:pr2123158 NI
vstd:pr2123190 NI
vstd:pr2453002b NI
vstd:pr2456943 NI
vstd:pr2715748 NI
vstd:pr2806474 NI
vstd:pr2976242b NI
vstd:real8 NI
vstd:real_array NI
vstd:real_concat_invalid1 NI
vstd:real_mod_in_ca NI
vstd:real_op_fail NI
vstd:real_pulse_clean NI
vstd:real_pwr_in_ca NI
vstd:real_select_invalid NI
vstd:real_wire_array NI
vstd:real_wire_force_rel NI
vstd:tern8 NI
vstd:v2005_math NI
# or reg real
vstd:pr1861212a NI
# No support for Icarus escaped defines ``
vstd:macro_with_args NI
vstd:macro_str_esc NI
vstd:pr622 NI
vstd:pr1741212 NI
vstd:pr1912112 NI
vstd:pr1925360 NI
vstd:pr1925360 NI
# No support for `ifdef, etc. without an identifier.
vstd:elsif_test NI
# If a module has a `timescale then all must have a `timescale.
vstd:pr434 NI
vstd:pr1403406 NI
vstd:pr1403406a NI
vstd:pr1403406b NI
vstd:resetall NI
# No support for relative include file paths
vstd:pr2215342 NI
# No support for extra paramater being passed to a module. Is this a bug?
vstd:param_test3 NI
# Icarus allows missing parameters, should this generate a warning/error?
vstd:pr1716276 CE ivltests
# Icarus allows a reg as the output path connection. Is this a bug?
vstd:sdf5 NI
vstd:sdf6 NI
vstd:specify4 NI
# Cannot force/assign part of a variable, but you can do this on a net.
vstd:pr1832097b NI
vstd:assign_deassign_pv NI
vstd:force_lval_part NI
vstd:force_release_reg_pv NI
vstd:pr2943394 NI
# No support for a time with a width.
vstd:automatic_events3 NI
vstd:pr243 NI
vstd:pr245 NI
vstd:pr1985582 NI
vstd:pr2815398a NI
# but these can be tested without a width. This one also has a missing EOS call.
vstd:pr243_std normal ivltests diff=log/pr243_std.log:gold/pr243_std.gold
# and this one has different formatting.
vstd:pr1985582_std normal ivltests diff=log/pr1985582_std.log:gold/pr1985582_std.gold
# No support for a string with a width. Also gives different warning messages.
vstd:pr1819452 NI
# No support for real modulus.
vstd:mixed_type_div_mod NI
vstd:pr1528093 NI
# No support for the fileio routines ($fopen{r,w,a}).
vstd:fileio NI
# .<port>(net) connections for UDP instantiations (see udp_dff_std).
vstd:udp_dff NI
vstd:pr938b NI
# Binary ~& and ~|.
vstd:binary_nand NI
vstd:binary_nor NI
# No support for VAMS
vstd:analog1 NI
vstd:analog2 NI
vstd:vams_abs1 NI
# also reg/wire real.
vstd:vams_abs2 NI
vstd:scaled_real NI
vstd:value_range1 NI
vstd:value_range2 NI
# The bool type
vstd:bool1 NI
vstd:compare_bool_reg NI
# No support for command line parameters.
vstd:cmdline_parm1 NI
# No support for avoiding time-0 races.
vstd:race NI
# No support for dumping array words
vstd:array_dump NI
vstd:pr2859628 NI
# No support for $fatal et al.
vstd:fatal_et_al NI
# No support for real valued module ports
vstd:pr2976242 NI
# Icarus allows hierarchical references to unnamed generate blocks.
# We should add a warning about this, as it's not strictly allowed.
vstd:unnamed_generate_block NI
# No support for `__FILE__ and `__LINE__
vstd:fileline NI
vstd:fileline2 NI
#-------------------------------
# Icarus bugs.
#-------------------------------
# Icarus still allows (implicit) declaration after use in some
# circumstances.
vstd:pr1909940 CE ivltests
vstd:pr1909940b CE ivltests
# This is flagged as a deliberate deviation from the standard.
vstd:pr2172606b NI
vstd:pr2172606b_std normal ivltests
#-------------------------------
# Not applicable
#-------------------------------
# This test just checks whether the pre-processor runs successfully.
vstd:pr2002443 NI
#==========
# For version 0.8 do these instead of the default case.
#==========
# V0.8 does not support part/bit select of an array element.
v0.8:nb_array_pv NI
v0.8:pr1639971 NI
v0.8:pr1719055 NI
v0.8:pr1746401 NI
v0.8:pr2038048 NI
v0.8:pr2166311 NI
v0.8:pr2605006 NI
v0.8:pr2715547 NI
# V0.8 does not find implicit nets correctly.
v0.8:pr1421777 NI
v0.8:pr1693890 NI
# V0.8 does not support repeat event controls.
v0.8:always3.1.1K NI
v0.8:always3.1.2G NI
v0.8:always3.1.2H NI
v0.8:always3.1.2I NI
v0.8:blocking_repeat_ec NI
v0.8:nb_ec_array NI
v0.8:nb_ec_array_pv NI
v0.8:nb_ec_pv NI
v0.8:nb_ec_pv2 NI
v0.8:nb_ec_real NI
v0.8:nb_ec_vector NI
v0.8:pr2788686 NI
# assign/deassign of parts is a 0.9+ extension
v0.8:assign3.2E NI
v0.8:assign_deassign_pv NI
# V0.8 does not support the force/release of signal parts or reals.
v0.8:force_release_reg_pv NI
v0.8:force_release_wire_pv NI
v0.8:force_release_wire8_pv NI
v0.8:pr2943394 NI
# V0.8 does not support real functions.
v0.8:pr978 NI
v0.8:pr1628300 NI
v0.8:pr1741212 NI
v0.8:pr1985582 NI
v0.8:pr1992729 NI
# V0.8 does not support arrayed instances/nets.
v0.8:array_word_width2 NI
v0.8:defparam2 NI
v0.8:pr1087 NI
v0.8:pr1353345 NI # Also passed parameter problem.
v0.8:pr1353345b NI # Also passed parameter problem.
v0.8:pr1581580 NI
v0.8:pr1695322 NI
v0.8:pr1703346 NI
v0.8:pr1799904 NI
v0.8:pr1820472 NI
v0.8:pr1878909 NI
v0.8:pr2076391 NI
v0.8:pr3054101g NI
v0.8:pr3054101h NI
v0.8:sel_rval_bit_ob NI
v0.8:sel_rval_part_ob NI
# V0.8 does not support the power operator.
v0.8:ca_pow_unsigned NI
v0.8:ca_pow_signed NI
v0.8:ca_pow_synth NI
v0.8:pow_unsigned NI
v0.8:pow_signed NI
v0.8:pow-ca NI
v0.8:pow-const NI
v0.8:pow-proc NI
v0.8:pr1530426 NI
v0.8:pr1634526 NI
v0.8:pr1690058 NI
v0.8:pr1694413 NI
v0.8:pr1750870 NI
v0.8:pr1903157 NI
v0.8:pr1903343 NI
v0.8:pr2352834 NI
v0.8:pr2673846 NI
v0.8:pr2823711 NI
v0.8:pr2865563 NI
v0.8:pr2909386a NI
v0.8:pr2909386b NI
v0.8:pr2913404 NI
v0.8:pr2913927 NI # Also indexed part selects.
v0.8:real_pwr_in_ca NI
v0.8:rl_pow NI
# V0.8 cannot assign a real value in the declaration
v0.8:ca_var_delay NI
v0.8:delay_var NI
v0.8:nb_assign NI
v0.8:pr1701890 NI
v0.8:pr1771903 NI
v0.8:pr2453002 NI
v0.8:pr2453002b NI
v0.8:pr2806474 NI
v0.8:real_assign_deassign NI
v0.8:real_force_rel NI
v0.8:real_reg_force_rel NI
# V0.8 does not support wide division or modulus.
v0.8:long_div NI
v0.8:pr993 NI
v0.8:pr1489570 NI
v0.8:pr1698499 NI
v0.8:pr1887168 NI # In verinum signed values use native long.
v0.8:pr1960596 NI # Same as above.
v0.8:pr2233180c NI
v0.8:pr2233192c NI
v0.8:pr2986528 NI
# V0.8 requires that delays in continuous assignments, etc. must be constant.
v0.8:delay3 NI
v0.8:delay4 NI
v0.8:delay5 NI
v0.8:pr2728032 NI
v0.8:real11 NI
v0.8:real_delay NI
# V0.8 does not support primitive types (logic, bool, real).
v0.8:bool1 NI
v0.8:ca_64delay NI
v0.8:ca_time NI
v0.8:cast_real_unsigned NI
v0.8:cast_real_signed NI
v0.8:compare_bool_reg NI
v0.8:pr1861212a NI
v0.8:pr1861212b NI
v0.8:pr1861212c NI
v0.8:pr1864110a NI
v0.8:pr1864110b NI
v0.8:pr1864110c NI
v0.8:pr1864115 NI
v0.8:pr1873372 NI
v0.8:pr1880003 NI
v0.8:pr1898293 NI
v0.8:pr2123158 NI
v0.8:pr2123190 NI
v0.8:pr2456943 NI
v0.8:real8 NI
v0.8:real_mod_in_ca NI # Also real modulus.
v0.8:real_pulse_clean NI
v0.8:real_wire_array NI # This is also an array.
v0.8:real_wire_force_rel NI
v0.8:tern8 NI
# V0.8 does not support real arrays
v0.8:array_select NI
v0.8:array_select_a NI
v0.8:pr1701855b NI
v0.8:pr2201909 NI
v0.8:pr2201909b NI
v0.8:pr2715748 NI
v0.8:real_array NI
v0.8:real_array_nb NI
# V0.8 does not support indexed part selects.
v0.8:force_lval_part NI
v0.8:param_select3 NI
v0.8:pr1465769 NI
v0.8:pr1474316 NI
v0.8:pr1675789 NI
v0.8:pr1675789b NI
v0.8:pr1688717 NI
v0.8:pr1735822 NI
v0.8:pr1745005 NI
v0.8:pr1830834 NI
v0.8:pr1993479 NI
v0.8:pr2076363 NI
v0.8:pr2358848 NI
v0.8:pr2450244 NI
v0.8:pr2835632a NI
v0.8:pr2835632b NI
v0.8:pr2725700c NI
v0.8:pr3044843 NI
v0.8:pr3054101c NI
v0.8:pr3054101d NI
v0.8:pr3054101e NI
v0.8:pr3054101f NI
v0.8:select5 NI
v0.8:select6 NI
v0.8:select7 NI
v0.8:select8 NI
v0.8:select_padding NI
v0.8:signed_part NI
v0.8:signed_pv NI
# V0.8 does not support out of range part selects.
v0.8:pr1960633 NI
v0.8:pr1978358 NI
v0.8:pr1978358b NI
v0.8:pr1978358c NI
v0.8:pr1978358d NI # Also indexed part selects.
v0.8:pr1990029 NI
v0.8:pr1990269 NI
# V0.8 does not support generate
v0.8:defparam3 NI
v0.8:defparam4 NI
v0.8:generate_case NI
v0.8:generate_case2 NI
v0.8:generate_case3 NI
v0.8:gen_case_opt1 NI
v0.8:gen_case_opt2 NI
v0.8:gen_case_opt3 NI
v0.8:generate_multi_loop NI
v0.8:genloop NI
v0.8:genvar_scopes NI
v0.8:negative_genvar NI
v0.8:pr1565544 NI
v0.8:pr1565699b NI
v0.8:pr1623097 NI
v0.8:pr1676071 NI
v0.8:pr1691599b NI
v0.8:pr1695309 NI
v0.8:pr1704726a NI
v0.8:pr1704726b NI
v0.8:pr1704726c NI
v0.8:pr1704726d NI
v0.8:pr1740476b NI
v0.8:pr1755629 NI
v0.8:pr1758122 NI
v0.8:pr1828642 NI
v0.8:pr1833754 NI
v0.8:pr1956211 NI
v0.8:pr1960625 NI
v0.8:pr1988302 NI
v0.8:pr1988302b NI
v0.8:pr1988310 NI
v0.8:pr2018235a NI
v0.8:pr2039632 NI
v0.8:pr2091455 NI
v0.8:pr2109179 NI
v0.8:pr2138682 NI
v0.8:pr2257003 NI
v0.8:pr2257003b NI
v0.8:pr2306259 NI
v0.8:pr2350934 NI
v0.8:pr2350934b NI
v0.8:pr2350988 NI
v0.8:pr2355304 NI
v0.8:pr2809288 NI
v0.8:pr2815398a NI
v0.8:pr2815398a_std NI
v0.8:pr2815398b NI
v0.8:pr2842185 NI
v0.8:pr2909414 NI
v0.8:pr2924354 NI
v0.8:pr3011327 NI
v0.8:pr3409749 NI
v0.8:pr3437290b NI
v0.8:pr3557493 NI
v0.8:scoped_events NI
v0.8:unnamed_generate_block NI
# V0.8 cannot convert bit based signals to a real value.
v0.8:mixed_type_div_mod NI
v0.8:pr1639064 NI
v0.8:pr1639064b NI
v0.8:pr1702593 NI
v0.8:pr1948110 NI # Also assign to real may not work.
# V0.8 does not support macros with arguments.
v0.8:macro_with_args NI
v0.8:macro2 NI
v0.8:macsub NI
v0.8:pr1925360 NI
v0.8:pr2224845 NI
v0.8:pr2745281 NI
# V0.8 does not support the macro stringify extension
v0.8:pr622 NI
v0.8:pr639 NI
v0.8:pr1912112 NI
v0.8:macro_str_esc NI
# V0.8 does not support analog constructs
v0.8:analog1 NI
v0.8:analog2 NI
# Other functionality missing in V0.8.
v0.8:array_dump NI # No support for dumping array words.
v0.8:array_word_check NI # No support for dumping array words.
v0.8:cmdline_parm1 NI # No support for command line parameters.
v0.8:cmos NI # CMOS gates not supported.
v0.8:dump_memword NI # Can not dump memory (array) words.
v0.8:nb_delay NI # No support for calculated non-blocking delays.
v0.8:pr1625912 NI # Can not find real variable in for loop.
v0.8:pr1698659 NI # Scope problems.
v0.8:pr1765789 NI # Addition width problems in concatenation.
v0.8:pr1851310 NI # MUX size problem.
v0.8:pr1869769 NI # Real comparisons in continuous assignment.
v0.8:pr1869772 NI # Right shift as argument to user function.
v0.8:pr1869781 NI # Runtime is missing %assign/x0/d opcode.
v0.8:pr1913918b NI # Parameter index problem.
v0.8:pr1916261 NI # Can not skip some errors in always false select.
v0.8:pr1963962 NI # $dumpfile() must be given an explicit string.
v0.8:pr2202706 NI # No support for wide put_value()
v0.8:pr2202846c NI # No support for const part selects before/after vec.
v0.8:pr2215342 NI # Current directory is not in include search path.
v0.8:pr2580730 NI # No support for real in @()
v0.8:pr2715558 NI # No support for CA strength resolution.
v0.8:pr2715558b NI # No support for CA strength resolution.
v0.8:pr2721213 NI # No support for a task with no arguments?
v0.8:pr2790236 NI # No support for output reg.
v0.8:pr2883958 NI # No support for greater than 32 bit delays in a CA.
v0.8:named_event_no_edges NI # No check for pos/negedge on events.
v0.8:real_invalid_ops NI # No checks for invalid real operators, etc.
v0.8:task_iotypes2 NI # Port types are not supported (integer, etc.).
v0.8:timescale3 NI # No check for out of order timescale directive.
v0.8:udp_delay_fail NI # No UDP delay count check.
v0.8:uncon_drive NI # No support for unconnected drive.
# V0.8 has problems with >>> and parameters.
v0.8:pr2722330a NI
v0.8:pr2722330b NI
# V0.8 does not support tran or tranif gates.
v0.8:pr1833024 NI
v0.8:pr2579479 NI
v0.8:pr2834340 NI
v0.8:pr2832234 NI
v0.8:pr2834340b NI
v0.8:pr2937417 NI
v0.8:pr2937417b NI
v0.8:pr2937417c NI
v0.8:pr2941939 NI
v0.8:pr3296466a NI
v0.8:pr3296466b NI
v0.8:pr3296466c NI
v0.8:pr3296466d NI
v0.8:tranif1 NI
v0.8:pr3499807 NI
v0.8:switch_primitives NI
# V0.8 does not support the `resetall directive
v0.8:resetall NI
v0.8:resetall2 NI
# V0.8 does not support $rtoi in a continuous assignment.
v0.8:ca_mult NI
v0.8:pr1883052b NI
# V0.8 does not support a zero repeat.
v0.8:concat3 NI
v0.8:concat4 NI
v0.8:pr2688910 NI
v0.8:pr2974216 NI
v0.8:pr2974216b NI
v0.8:repeat2 NI
v0.8:repl_zero_wid_pass NI
# No support for 'dx, 'dz, d0, etc.
v0.8:concat_zero_wid_fail2 NI
v0.8:pr1792734 NI
v0.8:pr2202706c NI
v0.8:pr2434688 NI
v0.8:pr2434688b NI
# V0.8 does not support monitorng parts of a word or array missing &PV, &A.
v0.8:pr1780480 NI
v0.8:pr2785294 NI
# V0.8 does not support typed parameters.
v0.8:localparam_type NI
v0.8:parameter_type NI
v0.8:localparam_type2 NI
v0.8:parameter_type2 NI
v0.8:pr1449749a NI
v0.8:pr1946411 NI
v0.8:pr1983762 NI
# V0.8 does not support ANSI style arguments,
v0.8:pr1474283 NI
v0.8:pr1877743 NI
v0.8:pr1901125 NI
v0.8:pr1903324 NI
v0.8:pr1950282 NI
v0.8:pr2043324 NI
v0.8:pr2219441 NI
v0.8:pr2219441b NI
v0.8:pr2976242 NI
v0.8:pr2976242b NI
v0.8:pr2976242c NI
v0.8:verify_two_var_delays NI
# V0.8 does not support $sscanf/$fscanf.
v0.8:fscanf_u NI
v0.8:fscanf_u_warn NI
v0.8:fscanf_z NI
v0.8:fscanf_z_warn NI
v0.8:pr1687193 NI
v0.8:pr1876798 NI
v0.8:pr2029336 NI
v0.8:pr2728547 NI
v0.8:pr2824189 NI
v0.8:pr2930506 NI
v0.8:scanf NI
v0.8:scan-invalid NI
v0.8:scanf2 NI
v0.8:scanf3 NI
v0.8:scanf4 NI
v0.8:sscanf_u NI
v0.8:sscanf_z NI
# V0.8 does not support $sdf_annotate.
v0.8:pr2972866 NI
v0.8:sdf1 NI
v0.8:sdf2 NI
v0.8:sdf3 NI
v0.8:sdf4 NI
v0.8:sdf5 NI
v0.8:sdf6 NI
v0.8:sdf7 NI
v0.8:sdf8 NI
v0.8:sdf_del_min NI
v0.8:sdf_del_typ NI
v0.8:sdf_del_max NI
v0.8:sdf_esc_id NI
# Other system tasks missing in V0.8.
v0.8:abstime NI # $abstime not supported.
v0.8:clog2 NI # $clog2 not supported.
v0.8:clog2-signal NI # $clog2 not supported.
v0.8:countdrivers1 NI # $countdrivers not supported.
v0.8:countdrivers2 NI # $countdrivers not supported.
v0.8:countdrivers3 NI # $countdrivers not supported.
v0.8:countdrivers4 NI # $countdrivers not supported.
v0.8:countdrivers5 NI # $countdrivers not supported.
v0.8:delayed_sfunc NI # $clog2, specify block delays not supported.
v0.8:fileio NI # $fopen{r,w,a) not supported.
v0.8:fread NI # $fread not supported.
v0.8:fread-error NI # $sfread not supported.
v0.8:multi_bit_strength NI # $swrite not supported.
v0.8:pr1491355 NI # $realtobits not supported in continuous assignments.
v0.8:pr1698820 NI # $fwrite{b,h,o} not supported.
v0.8:pr1819452 NI # $feof, $ftell, $frewind and $fseek not supported.
v0.8:pr2139593 NI # $clog2 not supported.
v0.8:pr2476430 NI # $format not supported.
v0.8:pr2509349a NI # $readmempath not supported.
v0.8:pr2509349b NI # $readmempath not supported.
v0.8:pr2590274a NI # $abstime not supported.
v0.8:pr2590274b NI # $abstime not supported.
v0.8:pr2590274c NI # $abstime not supported.
v0.8:pr2728812a NI # $clog2 not supported.
v0.8:pr2792897 NI # $format not supported.
v0.8:pr2800985a NI # $ferror not supported.
v0.8:pr2800985b NI # $ferror not supported.
v0.8:pr2877555 NI # $clog2 not supported.
v0.8:pr2971207 NI # $swrite not supported.
v0.8:pr3098439 NI # $format not supported.
v0.8:pr3098439a NI # $format not supported.
v0.8:pr3098439b NI # $format not supported.
v0.8:pr3103880 NI # $format not supported.
v0.8:pr3477107 NI # $swrite not supported.
v0.8:pv_undef_sig_sel NI # $sformt not supported.
v0.8:queue NI # $q_* (stochastic routines) not supported.
v0.8:queue_fail NI # $q_* (stochastic routines) not supported.