Promise: Property Mining for Sequential Synthesis.

Jiahui Xu, Jordi Cortadella, Lana Josipovic

Browse the full ICCAD paper archive.