Which has me wonder .... 

Isn't there any ASIC development kits to start with ? (Or is it only the complete systems from Butterflylabs etc that's available)