Hi all, I'm new user, and I'll intend to install flexus yet. But, I need to get the license of simics and to describe my project.
The first question is: somebody could send me the project site describing Simics on Flexus ? Second question: only universities have access for academic license of Simics ? Research labs could use for research projects ? My interest is cache coherence protocols for MPSoc. I need to specifiy and simulate one protocol. The Lab from Carnegie Mellon University is very interesting, using Murphi models implemented into Flexus. Someone knows if Flexus simulator supports others models of formal verification (based on cycle-accurate simulation) ? I'm evaluating yet, because I don't know any of these tools. Thanks in advance, Jussara kofuji
