nah, it contains no mention of porting [something] to ps3/kittens/trampolines
don't think that question is stupid, but it maybe won't lead to the answer you are hoping to get.
I know there's some c to vhdl compilers, though I suspect you'll have to write your code in a very particular style.
But as for schematics? Dunno man.
Someone knowledgeable in this stuff is bound to appear soon with the explanation of it all :-D