public domain tools for FPGAs