位置:文档/GOF API列表
Setup max loop, the tool stops logic optimization when max loop number is reached Usage:set_max_loop($value); $value: Setup BDD threshold, default 40000
$value: Setup BDD threshold, default 40000