Design Automation, Languages, and Simulations by Wai-Fah Chen & Wai Kai Chen