BSV (Bluespec), Verilog, VHDL, MyHDL.
\vspace{10pt}
\item Multiple auto-generated code-formats permits cross-validation:\\
- different areas of expertise bootstraps others
+ auto-generated test suite in one HDL can validate a muxer
+ generated for a different target HDL.
\vspace{10pt}
-
\end{itemize}
}