HDL for the Parallax Propeller 32 bit multi-core microcontroller.