James Jennings Eric Beuscher Verischemelog: Verilog embedded in Scheme. 123-134 1999 DSL http://doi.acm.org/10.1145/331960.331978 db/conf/dsl/dsl1999.html#JenningsB99