VHDL/Verilog Cryptography cores incl. co-simulation with openSSL through GHDLs VHPIdirect @tmeissner
Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys) @tmeissner