LSI Checker