@inproceedings{ertelCOQ2024,title = "On the Potential of Coq as the Platform of Choice for Hardware Design",author = "Sebastian Ertel, Max Kurze, Michael Raitza",year = "2024",booktitle = "Coq Workshop",url = "<a href="https://coq-workshop.gitlab.io/2024/files/EA4.pdf">https://coq-workshop.gitlab.io/2024/files/EA4.pdf</a>"}