Optimized ASIP Synthesis from Architecture Description Langu