generation of the SVL files for realizability and synchronizability