We don't know any projects categorized as Hardware yet.
Coq Hardware related posts
Type Theory Forall Podcast #13 - C/C++, Emacs, Haskell, and Coq. The Journey (John Wiegley)
3 projects | reddit.com/r/ProgrammingLanguages | 23 Dec 2021
There's an ongoing effort to rewrite Principia Mathematica using Coq
5 projects | reddit.com/r/math | 3 Dec 2021
Silveroak - Formal specification and verification of hardware
1 project | reddit.com/r/Coq | 20 May 2021