A digital circuit description DSL in python