Advanced Logic Design Automation Lab @ NTUSTEE