طراحی منطقی و زبان‌های توصیف سخت‌افزار