All SilMinds IP core units have been verified using an innovative constraint model driven tool that ensures inclusive coverage of all valid operations corner cases.
The tool has been developed within the context of a joint research project with Cairo University Electronics and Communications Engineering Dept., funded by the RDI program of the Egyptian Ministry of Higher Education and the European Union; and a sequel joint project funded by the ITAC program of the Egyptian Ministry of Communications and Information.