Hacker News Reader

Just chiming in with the standard Lisp response: HDL's can be done in Lisp, and have been done in Lisp. You just define a DSL for it.

At least since the 1980's, see AIM-953.

Just read over it. That was pretty interesting, thanks.

Take a look at the work of John Koza. His systems were used to automatically generate electrical circuits:

I looked at his stuff a lot when I was trying to pick my path for my MS thesis. I ended up going down a completely different route though.