Wilson Snyder
|
2923893d34
|
Support loop unrolling on width mismatches, bug 333
|
2011-03-12 07:45:04 -05:00 |
|
Wilson Snyder
|
890dab0742
|
Write logfile on each failure
|
2011-03-12 07:44:29 -05:00 |
|
Wilson Snyder
|
607e26b041
|
Commentary
|
2011-03-08 06:49:45 -05:00 |
|
Wilson Snyder
|
ea75290f65
|
Add error on circular parameter definitions, bug329
|
2011-03-07 20:44:19 -05:00 |
|
Wilson Snyder
|
a176054118
|
Add --trace-max-width and --trace-max-array, bug 319.
|
2011-02-23 21:58:27 -05:00 |
|
Wilson Snyder
|
9a697dc5f5
|
Accelerate bit-selected inversions.
|
2011-02-23 21:36:38 -05:00 |
|
Wilson Snyder
|
cfdb852843
|
Fix concatenates and vectored bufif1, bug326.
|
2011-02-23 21:21:59 -05:00 |
|
Wilson Snyder
|
2e67a91982
|
Support $bits(data_type), bug327.
|
2011-02-23 19:04:15 -05:00 |
|
Wilson Snyder
|
074ca9330d
|
Make width violation on function outputs a fatal error
|
2011-02-18 20:52:26 -05:00 |
|
Wilson Snyder
|
f0d7cdcb20
|
Commentary
|
2011-02-18 07:11:03 -05:00 |
|
Wilson Snyder
|
40d961e059
|
Version bump
|
2011-02-14 19:05:55 -05:00 |
|
Wilson Snyder
|
e5de759236
|
Report error on function call output tied to constant.
Fix internal error on functions called as SV tasks.
|
2011-02-14 19:25:30 -05:00 |
|
Wilson Snyder
|
e26a75c59d
|
Fix internal error on non-inlined inout pins.
|
2011-02-07 19:15:58 -05:00 |
|
Wilson Snyder
|
8701145b40
|
Fix error on constants connected to outputs, bug323.
|
2011-01-31 07:05:04 -05:00 |
|
Wilson Snyder
|
a2558886c8
|
Report errors on empty pins, bug321
|
2011-01-29 18:00:48 -05:00 |
|
Wilson Snyder
|
f818ee86ae
|
Report errors on duplicated pins, bug321.
|
2011-01-29 17:01:06 -05:00 |
|
Wilson Snyder
|
ad0dbdaa9c
|
CDC: Print nice net names instead of ___5f
|
2011-01-19 11:44:23 -05:00 |
|
Wilson Snyder
|
a9f14b294f
|
Internals: Cdc notes; marking submodules won't work
|
2011-01-18 21:37:53 -05:00 |
|
Wilson Snyder
|
a435ae98f9
|
Throw UNUSED/UNDRIVEN only once per net in a parametrized module.
|
2011-01-18 21:28:51 -05:00 |
|
Wilson Snyder
|
481b261458
|
Internals: add a few userIncs, No functional change
|
2011-01-18 21:19:12 -05:00 |
|
Wilson Snyder
|
48df52d743
|
Reduce use of CRELINE so line numbers more closely match first parsed location
|
2011-01-18 21:12:31 -05:00 |
|
Wilson Snyder
|
0af0d3b171
|
Cleanup CDC reports, remove TOP-> signal prefixes
|
2011-01-17 14:58:58 -05:00 |
|
Wilson Snyder
|
8287cf35e7
|
Fix warnings to point to lowest net usage, not upper level ports.
|
2011-01-17 14:10:01 -05:00 |
|
Wilson Snyder
|
fab7924cc2
|
Fix block comment not separating identifiers, bug311.
|
2011-01-11 18:46:21 -05:00 |
|
Wilson Snyder
|
0ab739e8b1
|
Fix false BLKSEQ on non-unrolled for loop indexes.
|
2011-01-06 06:46:19 -05:00 |
|
Wilson Snyder
|
2dcd4d171b
|
Version bump
|
2011-01-03 13:32:16 -05:00 |
|
Wilson Snyder
|
e7f4d18c3d
|
First test is verilator -V
|
2011-01-03 13:30:33 -05:00 |
|
Wilson Snyder
|
1611362c22
|
Add --unused-regexp
|
2011-01-01 19:43:22 -05:00 |
|
Wilson Snyder
|
2327698160
|
driver: Allow --site specific tests
|
2011-01-01 19:18:32 -05:00 |
|
Wilson Snyder
|
71c1f00ec2
|
Copyright year update
|
2011-01-01 18:21:19 -05:00 |
|
Wilson Snyder
|
6574a126ef
|
spdiff: Ignore copyright differences
|
2011-01-01 18:20:30 -05:00 |
|
Wilson Snyder
|
1e68086355
|
Fix defparam test failing after make clean
|
2011-01-01 18:12:29 -05:00 |
|
Wilson Snyder
|
326cc8fd67
|
Fix DLYSYNC with for loop variables
|
2010-12-31 20:18:21 -05:00 |
|
Wilson Snyder
|
4afcb421bd
|
With --Wall, add BLKSEQ warning on blocking assignments in seq blocks.
|
2010-12-31 18:36:29 -05:00 |
|
Wilson Snyder
|
8d21917035
|
Add SYNCASYNCNET
|
2010-12-31 07:51:14 -05:00 |
|
Wilson Snyder
|
4ca7f8834c
|
Fix test ignores
|
2010-12-30 21:20:58 -05:00 |
|
Wilson Snyder
|
b43299c8da
|
Fix suppression of messages under debug
|
2010-12-30 08:41:23 -05:00 |
|
Wilson Snyder
|
b763809f5e
|
Fix last commit; allow multiple exprs
|
2010-12-30 08:26:36 -05:00 |
|
Wilson Snyder
|
2cb97f7475
|
For UNUSED, ignore black boxed sys calls
|
2010-12-30 07:55:31 -05:00 |
|
Wilson Snyder
|
6283df7491
|
Vlt lint off now has optional msgname
|
2010-12-30 06:58:02 -05:00 |
|
Wilson Snyder
|
acc4490370
|
For UNUSED, skip primitive tables
|
2010-12-29 20:24:31 -05:00 |
|
Wilson Snyder
|
f85c1a995a
|
For UNUSED, better by-bit warnings
|
2010-12-29 19:59:07 -05:00 |
|
Wilson Snyder
|
809e5fda8a
|
Ignore DECLFILENAME on library files
|
2010-12-29 19:34:33 -05:00 |
|
Wilson Snyder
|
dce245da5a
|
Allow wildcards in vlt config files
|
2010-12-29 19:14:49 -05:00 |
|
Wilson Snyder
|
d261c4cd27
|
For UNUSED warning, ignore genvars
|
2010-12-29 18:10:02 -05:00 |
|
Wilson Snyder
|
c33299d542
|
Add UNUSED and UNDRIVEN warnings
|
2010-12-29 08:06:05 -05:00 |
|
Wilson Snyder
|
ebdf8a5f3c
|
Internals: Constify tristates with ConstLive, unused so no functional change
|
2010-12-29 07:56:22 -05:00 |
|
Wilson Snyder
|
c8852d183f
|
Internals: Add V3Const preserving liveness, no functional change
|
2010-12-28 21:23:16 -05:00 |
|
Wilson Snyder
|
9f161b20ef
|
Internals: Avoid passing vars from V3Const visitor; no functional change
|
2010-12-28 20:46:13 -05:00 |
|
Wilson Snyder
|
40f9d64973
|
Commentary
|
2010-12-27 17:25:28 -05:00 |
|