PulseGen and v13.12 release