Also worth checking out is this project from Intel: https://github.com/intel/rohd/tree/main

> The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.