Udi Finkelstein
|
23c243bb82
|
Add support for null ports (#2875)
|
2021-04-09 10:39:46 -04:00 |
Wilson Snyder
|
c95e606c0a
|
Fix range inheritance on port without data type (#2753).
|
2021-02-24 18:21:13 -05:00 |
|
Wilson Snyder
|
2b2fe13e79
|
Tests: Add unsupported test for interface typedef (#2783)
|
2021-02-16 22:31:30 -05:00 |
|
Wilson Snyder
|
bd602d0e2d
|
Copyright year update
|
2021-01-01 10:29:54 -05:00 |
|
Wilson Snyder
|
b7a533109d
|
Fix cppcheck warnings. No functional change intended.
|
2020-12-23 15:22:02 -05:00 |
James Hanlon
|
c18cbca813
|
Add support for package imports preceeding parameters in interfaces (#2714)
Co-authored-by: James Hanlon <mail@jameswhanlon.com>
|
2020-12-17 11:26:53 -05:00 |
|
Wilson Snyder
|
6adda241c9
|
Fix $urandom_range with no second argument
|
2020-12-16 18:34:49 -05:00 |
|
Wilson Snyder
|
d7af6436a2
|
Fix genblk naming to match IEEE (#2686).
|
2020-12-12 12:57:11 -05:00 |
|
Wilson Snyder
|
af0e535015
|
Internals: Remove Xnor node type.
Convert to Not(Xor(x)) up front, to help code coverage and optimize out extra nots sooner.
|
2020-12-10 00:04:10 -05:00 |
|
Wilson Snyder
|
74ef35d3b3
|
Support $cast and new CASTCONST warning.
|
2020-12-05 22:58:36 -05:00 |
|
Wilson Snyder
|
9c2785b49b
|
Internals: Swap lhs/rhs $cast args.
|
2020-12-05 17:11:00 -05:00 |
|
Wilson Snyder
|
9bd5cd4ef3
|
Internals: Track null separately from '0
|
2020-12-05 16:49:10 -05:00 |
|
Wilson Snyder
|
d21b4e3fc7
|
Internal cast preparatory cleanups.
|
2020-11-29 18:26:06 -05:00 |
|
Wilson Snyder
|
665e8edaff
|
Support $monitor and $strobe.
|
2020-11-29 11:31:38 -05:00 |
|
Wilson Snyder
|
67103d346b
|
Fix $fwriteh/$fwriteo
|
2020-11-29 10:53:44 -05:00 |
|
Wilson Snyder
|
a54ac52a35
|
Internals: Use 'Bit' where mean 2-state type. No functional change.
|
2020-11-29 08:23:36 -05:00 |
|
Wilson Snyder
|
ff262fc4fb
|
Support type(t) static casting
|
2020-11-28 17:29:21 -05:00 |
|
Wilson Snyder
|
cef7610b14
|
Fix crash on virtual interfaces.
|
2020-11-27 20:02:17 -05:00 |
|
Wilson Snyder
|
e1c45440fc
|
Internals: Rename packagep(). No functional change.
|
2020-11-24 21:56:03 -05:00 |
|
Wilson Snyder
|
b684995292
|
Support $random and $urandom seeds.
|
2020-11-19 21:32:33 -05:00 |
|
Wilson Snyder
|
c0888c1b0f
|
Internals: Use newline instead of endl to avoid unneeded flush.
|
2020-11-18 21:03:23 -05:00 |
|
Wilson Snyder
|
6dfce882a1
|
Support $exit as alias of $finish
|
2020-11-10 22:49:48 -05:00 |
|
Wilson Snyder
|
726e78fdda
|
Add 'with' syntax checks.
|
2020-10-31 10:33:36 -04:00 |
|
Wilson Snyder
|
85b05366bc
|
Internals: Misc prep work for 'with' support.
|
2020-10-31 09:24:16 -04:00 |
|
Wilson Snyder
|
835905bdae
|
Convert cast tasks to assertions
|
2020-10-24 20:30:52 -04:00 |
|
Wilson Snyder
|
4cec3ff2a0
|
Fix WIDTH warnings on comparisons with nullptr (#2602).
|
2020-10-22 17:27:23 -04:00 |
|
Wilson Snyder
|
5d3dd52f13
|
Support queue slicing (#2326).
|
2020-10-18 13:23:39 -04:00 |
|
Wilson Snyder
|
e25a6334cf
|
Support repeated forward typedefs.
|
2020-10-10 11:29:10 -04:00 |
|
Wilson Snyder
|
070bead9f9
|
Internals: Refector typedef call. No functional change intended.
|
2020-10-10 11:25:44 -04:00 |
Peter Monsson
|
d0819f156f
|
Add support for |=> inside properties (#1292).
|
2020-09-10 06:49:04 -04:00 |
|
Wilson Snyder
|
1899a875a4
|
Internals: Create VAccess class. No functional change intended.
|
2020-09-07 17:09:25 -04:00 |
|
Peter Monsson
|
627d83e807
|
Add support for assume property (#2531)
|
2020-09-03 12:38:48 -04:00 |
|
Wilson Snyder
|
069eb97eca
|
SystemC 2.3.0 or newer (SYSTEMC_VERSION >= 20111121) is now required.
|
2020-08-29 10:45:47 -04:00 |
|
Wilson Snyder
|
1dce6b2500
|
Support $stable
|
2020-08-23 11:34:19 -04:00 |
|
Wilson Snyder
|
f4a72946eb
|
Support $urandom, $urandom_range without stability.
|
2020-08-23 08:42:50 -04:00 |
|
Wilson Snyder
|
7f3a73e314
|
Fix naming of "id : begin" blocks.
|
2020-08-22 22:21:37 -04:00 |
|
Wilson Snyder
|
9702d11657
|
Support class extern.
|
2020-08-22 19:46:21 -04:00 |
|
Wilson Snyder
|
583605b218
|
Parser: Move extern decl unsupported message
|
2020-08-22 16:24:29 -04:00 |
Rupert Swarbrick
|
aa39d020d8
|
Fix build with Bison 3.7 and newer (#2505)
|
2020-08-18 12:12:52 -04:00 |
|
Wilson Snyder
|
72d2cff0a1
|
C++11: Use member declaration initalizations. No functional change intended.
|
2020-08-16 11:44:06 -04:00 |
|
Wilson Snyder
|
c0127599df
|
C++11: Use nullptr. No functional change.
|
2020-08-16 11:44:05 -04:00 |
Yutetsu TAKATSUKASA
|
953a442827
|
Support hierarchical verilation using protect lib (#2206)
|
2020-08-15 09:43:53 -04:00 |
|
Peter Monsson
|
4a5e4b04f3
|
Support $rose and $fell. (#2148) (#2501)
|
2020-08-14 07:37:10 -04:00 |
|
Peter Monsson
|
1280070abb
|
Support $stable (#2488)
|
2020-07-28 18:26:24 -04:00 |
Piotr Binkowski
|
58739a0a99
|
Internals: add isProgram to AstModule (#2470)
This allows to check which AstModules were created from `program` keyword
|
2020-07-16 07:31:16 -04:00 |
|
Wilson Snyder
|
ce340658d6
|
Internals: revert (#2467)
|
2020-07-15 07:50:17 -04:00 |
|
Piotr Binkowski
|
a02c420064
|
Internals: separate AST class for program (#2467)
|
2020-07-15 07:39:58 -04:00 |
|
Wilson Snyder
|
ced1af8cb8
|
Parser: Move extends param class unsupported message
|
2020-07-11 19:53:41 -04:00 |
|
Wilson Snyder
|
f0a6e4c2b2
|
Parser: Move scoped id unsupported messages down out of parser
|
2020-07-11 19:11:58 -04:00 |
|
Wilson Snyder
|
9e5cd463e5
|
Parser: Move class parameter unsupported messages down out of parser
|
2020-07-11 18:39:01 -04:00 |