Research Laboratory of Design Automation, Ltd