The following sections describe the set of synthesis, verification and testability tools currently incorporated into the MINIMALIST toolkit. Work is currently under way to integrate other existing high-quality tools such as technology mapping [,,] and timing analysis [], taking advantage of MINIMALIST's plug-in framework. With these additions, MINIMALIST will offer an even more capable path for asynchronous synthesis and verification.