Titan: Enabling large and complex benchmarks in academic CAD | IEEE Conference Publication | IEEE Xplore