Design Automation Laboratory at Seoul National University/Maxmind