Translation of Circuit Descriptions