Mention of Electronic Design Automation

Scalable synthesis for hardware system reliability and energy efficiency