Embedded Systems Design with Platform FPGAs