Il est Open Source depuis peu, et le HDL est fourni :
http://www.parallax.com/microcontrollers/propeller-1-open-source
Et c'est marrant, impossible de retrouver ou, mais j'etait tombe sur un article qui parlais des "cog" ou plutot de la genese de ces CPU simplifie qui sont utilise dans le propeller