Computer-Aided design tools for digital systems