circuit description language