diff options
| author | John's Brew | 2022-01-27 05:50:47 +0100 |
|---|---|---|
| committer | GitHub | 2022-01-27 04:50:47 +0000 |
| commit | 475c165ccf8a52f79a94766450c23090f15d1393 (patch) | |
| tree | 1dbd143fe1323efd856173ef05dbd6d71679d8f6 /notes/annotations | |
| parent | 922f58c8ce2619739456b24f702a91807c023fb6 (diff) | |
Fix faulty MemorySynthInit behavior (#2468)
- Fix & test MemorySynthInit behavior with MemoryArrayInitAnnotation and MemoryScalarInitAnnotation.
Add test case for MemoryRandomInitAnnotation which is, on the contrary, expected not to leak any randomization statement in synthesis context.
- Refactor MemoryInitSpec for improved results readability
Context:
PR #2166 (commit: 4530152) introduced MemorySynthInit annotation to control whether statement generated with Memory*InitAnnotation (emitted within initial begin block in verilog) should be guarded with ifndef SYNTHESIS or not.
Unfortunately only one configuration (MemoryFileInlineAnnotation) has been tested while the others have been generating incorrect verilog statements (MemoryArrayInitAnnotation and MemoryScalarInitAnnotation).
Signed-off-by: Jean Bruant <jean.bruant@ovhcloud.com>
Diffstat (limited to 'notes/annotations')
0 files changed, 0 insertions, 0 deletions