How can I get the iccModel?
tyousyuka opened this issue · comments
which tools can i use? And how to use it to generate the iccmodel？
I have tried to use IC3 and Dare，but failed.
thank you very much !!!
@StevenArzt
The default tool is IC3. If you have trouble using IC3, please contact the IC3 maintainers.
@StevenArzt hello
If I don't use ic3, how can i get the iccmodel? Is there any other way?
Currently, there is no other supported tool that can generate the ICC model, as far as I know. You are welcome to provide an alternative.
In our commercial code scanner, we generate the models on demand by querying a composite value analysis that can reconstruct intents.