Kôika HDL

[omasanori]

I am afraid that this is off-topic, but I would share Kôika, a rule-based HDL influenced by Bluespec HDL embedded in Coq. Some ideas developed for Kôika could improve Bluespec HDL too.

[quark17]

Thanks! It's also mentioned in Discussion #333 which lists various Formal Verification directions.