This repository has been archived by the owner on Aug 20, 2024. It is now read-only.
FIRRTL v1.5.1
BugFix
- 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. - Fixed emission-options flags to match their functionality (#2472)
- make PropagatePreset play nice with verification statements (#2453)
This used to crash, now preset is treated as 0 for verification statements - [smt] correct comparison for out-of-bounds memory access check (#2463)