Design Automation Laboratory at Seoul National University