I'm working on SystemLisp, a lisp dialect for hardware design and verification based on CommonLisp.