v1.7.0 Two new main features : 1) Formal verification is now in a good state - SymbiYosys integration, ex FormalConfig.withBMC(15).doVerify(..) - Added anyconst/anyseq/... support - Documented in https://spinalhdl.github.io/SpinalDoc-RTD/master/SpinalHDL/Formal%20verification/index.html 2) AFix floating point added (experimental, subject to changes) - Unifie unsigned/signed handeling - Tracking the exact range of possible values