Introduce our approach to functional HDL, and introduce the prototype translater