AAD Algorithms-Aided Design - Arturo Tedeschi