Release v2.0.0-beta.3 (#352)

### Added
- `cc_heaviside`: Add open-source formal verification and document
saturation behavior

### Fixed
- Deprecated stream arbiter wrappers: Fix elaboration with Synopsys
Fusion Compiler

Author: phsauter

CHANGELOG.md

@@ -4,6 +4,13 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](http://keepachangelog.com/en/1.0.0/)
 and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.html).
 
+## 2.0.0-beta.3 - 2026-07-29
+### Added
+- `cc_heaviside`: Add open-source formal verification and document saturation behavior
+
+### Fixed
+- Deprecated stream arbiter wrappers: Fix elaboration with Synopsys Fusion Compiler
+
 ## 2.0.0-beta.2 - 2026-07-16
 ### Changed
 - `README`: Update cell names, links, and API documentation for v2