CIRCT 电路中间表示工具 firtool 1.154.0 发布

CIRCT 项目发布 firtool 1.154.0，新增基于 SAT 的精确综合 pass，并为 Datapath 引入 Booth 编码的有符号乘法。ImportVerilog 与 MooreToCore 补充 $readmemb/$readmemh、实数系统函数、关联数组与采样值函数等支持，Arcilator 支持 sim.proc.print 流式输出。