Verischemelog: Verilog embedded in Scheme. - James Jennings; Eric Beuscher (DSL, 1999)