求翻译：hardware description language and compiled automatically into a boolean cir-cuit. A prominent example is Fairplay’s [27] Secure Function Description Lan-guage (SFDL) which resembles a simplified version of a hardware description是什么意思？