firtool 1.47.0 Release - All Chisel asserts now converted to properties with "-emit-chisel-asserts-sva" option - Memories using the seq.firmem are properly ordered with respect to defines
firtool 1.47.0 Release - All Chisel asserts now converted to properties with "-emit-chisel-asserts-sva" option - Memories using the seq.firmem are properly ordered with respect to defines