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 |
|
Wilson Snyder
|
bb8899f307
|
Internals: Rename AstPackageRef as may point to class.
|
2020-07-11 10:29:15 -04:00 |
|
Wilson Snyder
|
a500140f1d
|
Fix Bison 3.6 error messages
|
2020-07-10 21:54:58 -04:00 |
Geza Lore
|
1632160fb1
|
Internals: Remove redunand SenItem nodes (#2457)
|
2020-07-05 13:13:03 -04:00 |
|
Wilson Snyder
|
b968f57711
|
Suppress unsupported constraint, as implied by unsupported randomize.
|
2020-07-02 21:10:05 -04:00 |
|
Wilson Snyder
|
ee7b399bf5
|
Parser: Move 'static' unsupported messages down out of parser.
|
2020-07-02 21:02:49 -04:00 |
|
Wilson Snyder
|
50c28fa9d3
|
Parser: Move 'pure virtual' and 'extern' unsupported messages down out of parser.
|
2020-07-02 08:24:50 -04:00 |
|
Wilson Snyder
|
9d1a39a5e4
|
Parser: Move 'with' block unsupported messages down out of parser
|
2020-07-02 07:36:15 -04:00 |
Fan Shupei
|
04c96694e6
|
Add $writememb support (#2450)
|
2020-07-01 17:32:15 -04:00 |