Zachary Snow
e72d372d73
omit reference file for verilog-compatible test inputs
2020-12-08 11:39:17 -07:00
Zachary Snow
2081f6a32a
support attributes on port declarations
2020-12-08 11:28:28 -07:00
Zachary Snow
d137fd3d68
fix premature elaboration of single element patterns
2020-12-07 16:23:29 -07:00
Zachary Snow
ad18c583ab
support default pattern unbased unsized port bindings
2020-12-07 16:23:26 -07:00
Zachary Snow
2b377cef04
interface and instance array support
...
- support for interface instance arrays
- support for interface-using module instance arrays
- support for modport array bindings
- fix modport bindings shadowed in nested instances
2020-12-06 15:41:33 -07:00
Zachary Snow
bf6ba338df
additional default_nettype test coverage
2020-12-04 11:38:17 -07:00
Zachary Snow
16c63b8109
test coverage for wildcard inequality
2020-12-03 16:23:03 -07:00
Zachary Snow
5c0f414dfa
convert wildcard bindings before interfaces
2020-12-03 11:03:09 -07:00
Zachary Snow
091520e4cd
allow generate scoped basic subroutine invocations in statement blocks
2020-11-30 20:36:06 -07:00
Zachary Snow
2e499dbd03
support case inside with basic side effects
2020-11-27 14:09:16 -07:00
Zachary Snow
a7874e1b2f
test suite iverilog 11.0 compatibility
2020-11-24 18:09:07 -07:00
Zachary Snow
260a6507eb
fix converted constant continuous assignment
2020-11-24 17:27:58 -07:00
Zachary Snow
e9f9696342
extend typeof operator support
2020-09-28 23:42:46 -04:00
Zachary Snow
6d907e0985
typeof logical negation
2020-09-13 23:51:13 -04:00
Zachary Snow
7e2450ea5e
conversion to create declarations for implicit nets
2020-09-13 23:35:41 -04:00
Zachary Snow
2429a2c9f0
upgraded streaming concatenation conversion
...
- fix handling of truncation for unpacking
- fix handling of final limited-size chunk
- support unpacking in a declarations with assignments
- support streaming concatenations in continuous assignment
2020-08-16 13:12:11 -04:00
Zachary Snow
d4511871ca
typeof $clog2
2020-08-13 19:37:12 -04:00
Zachary Snow
e80db12422
conversion for implicitly variably sized parameters
2020-08-12 21:59:57 -04:00
Zachary Snow
13b62fd81e
support structs of integers
2020-08-11 18:37:21 -04:00
Zachary Snow
50a6966a4f
fix three typeof conversion issues
...
- type of strings are left implicit
- type of implicitly-typed params uses the type of the default value
- prevent exponential blowup for large ternary expressions
2020-08-09 17:23:37 -04:00
Zachary Snow
67466eaa60
major interface conversion update
...
- module instances with modport bindings are now inlined
- support for modports in generate loops
- support for generic interfaces
- implied modport instance propagation
- add error message for interface instances missing port list
2020-08-08 20:43:47 -06:00
Zachary Snow
3834b9f109
support type lookup of genvars
2020-08-01 20:14:40 -06:00
Zachary Snow
698e3b0b54
fix unbased unsized binding conversion for instances with type parameters
2020-07-27 19:04:41 -06:00
Zachary Snow
21ebbb5a19
use repeats for converted unbased-unsized literals
...
- reduces the number of cast functions which are generated
- adjust package_function_cast to preserve cast converage
- fix issue where cast functions would be generated before localparam
substitution within a procedure
2020-07-24 21:29:59 -06:00
Zachary Snow
f0a5a47371
fix break/continue causing return after loop
2020-07-23 19:04:20 -06:00
Zachary Snow
bbb469463b
fix typing bit and part selects
2020-07-23 18:23:40 -06:00
Zachary Snow
8537a9efda
fix scoping of single-item generate conditionals
2020-07-22 20:30:33 -06:00
Zachary Snow
5ad8de9ef7
standardize pattern conversion
2020-07-21 18:05:27 -06:00
Zachary Snow
49c0d297c9
fix package conversion not prefixing declarations with assignments ( resolves #115 )
2020-07-20 22:19:18 -06:00
Zachary Snow
e88a6b9d84
fix type lookup of yet-unresolved types ( resolves #111 )
2020-07-20 17:06:13 -06:00
Zachary Snow
7eed2fc58e
fix handling of multi-dimensional integer array literals ( resolves #113 )
2020-07-20 16:55:55 -06:00
Zachary Snow
e6e62e8813
typedef conversion visits nested types in statements
2020-07-19 20:54:44 -06:00
Zachary Snow
90de4aa121
fix inadvertent duplicate casts
2020-07-19 19:09:57 -06:00
Zachary Snow
03b6ece939
address type lookup of $unsigned and $signed
2020-07-17 19:18:54 -06:00
Zachary Snow
a38137b69a
fix conversion of casts in gen item exprs
2020-07-15 19:04:11 -06:00
Zachary Snow
5667bdb589
unpacked array conversion supports generate scoped data
...
- added type class for looking up elements in scoped conversions
2020-07-14 22:59:59 -06:00
Zachary Snow
b19259c694
upgraded size cast conversion
...
- support casts of generate scoped expressions
- support casts to sizes involving genvars
2020-07-14 20:10:38 -06:00
Zachary Snow
2d3973e624
synthesizable wildcard conversion
2020-07-13 23:15:06 -06:00
Zachary Snow
db21869e69
fix premature conversion of casts containing dimension queries
2020-07-12 16:23:08 -06:00
Zachary Snow
d88c516d33
enhanced handling of number literals
...
- number literals are parsed rather than stored as strings
- fix array query functions used on non-trivial number literals
- more efficient expression simplification recursion
- expanded constant folding scenarios
2020-07-12 15:06:27 -06:00
Zachary Snow
737c66a6c9
fix default type parameters which depend on other parameters
2020-07-10 17:45:36 -06:00
Zachary Snow
a7673c55fd
automatically fix simple declaration order issues
2020-07-08 22:20:40 -06:00
Zachary Snow
4b5e3232b9
support for localparam type
2020-07-08 19:39:26 -06:00
Zachary Snow
671101a30b
allow type parameters to depend on other parameters
2020-07-08 18:56:41 -06:00
Zachary Snow
296e246158
fix multi-dimensional array unbased unsized pattern conversion
2020-07-06 22:26:04 -06:00
Zachary Snow
9520894720
unbased unsized conversion refactor
...
- support ubased unsized bound to ports using injected constants
- explicit context-aware literal sizing for complex expressions
- fix infinite loop case in NestPI conversion
- elaborate size-casts of converted literals
2020-07-06 22:11:53 -06:00
Zachary Snow
1903bc190d
use unbounded integers
2020-07-02 23:33:03 -06:00
Zachary Snow
cd8af036a0
logic conversion supports generate block scoping
2020-07-02 22:59:06 -06:00
Zachary Snow
85e3d0f5b5
initial generate block scoping support
...
- significant refactor of struct conversion
- significant refactor of typedef conversion
- scoping support in multipack conversion
- scoping support in typeof conversion
2020-07-02 22:58:59 -06:00
Zachary Snow
211e4b0ed8
fix literal casts larger than 32 bits
2020-07-01 23:35:30 -06:00