Clash Formal is part of the Ecosystem formally verifiable IT (EvIT), a research mission for the integration of formal verification capabilities across all levels of the hardware and software stack, as utilized by almost every IT devices in use today. To this end, the Clash Formal project aims at leveraging the power of functional languages for the precise description of hardware and software functionality. Combined with a strong type system, they have been proven to be a powerful and expressive