avalon le fae synopsys