A Tool for Industrial Verification and Benchmarking of FDD/FTC Designs. Issue 21 (2015)