Skip to content
This repository has been archived by the owner on Aug 20, 2024. It is now read-only.

FIRRTL v1.5.1

Compare
Choose a tag to compare
@jackkoenig jackkoenig released this 08 Feb 03:23

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)