Published July 22, 2025
| Version v1
Software
Open
Research Artifact of Promise: Property Mining for Sequential Synthesis
Description
Research artifact for "Promise: Property Mining for Sequential Synthesis" at ICCAD '25.
For a more up-to-date version of this software, please visit https://github.com/ETHZ-DYNAMO/promise.
Files
promise.zip
Files
(299.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:37994dc5fb3ba23c10c1c824c0acbf8d
|
262.3 MB | Preview Download |
|
md5:d6df92059759f8b435f01a974264eadc
|
37.0 MB | Preview Download |