SPEC Facility

'SPEC Facility' is tool for checking of SPECs in the PARAGON. It generates so many helpful reports from PARAGON such as 'Spec Summary', 'Branch Table' and 'Reducing Table'.