A Platform for High-Level Parametric Hardware Specification and its Modular Verification - View it on GitHub