When attempting to parallelize verification tasks from within the same file, the sby verification tasks may encounter an error due to an attempt to access the same directory simultaneously, arising from a name collision in the generated spec_name. Adding the option to specify spec_name within assertFormal allows the caller to manually resolve such issues, while maintaining full backwards compatibility with existing scripts.
When attempting to parallelize verification tasks from within the same file, the
sbyverification tasks may encounter an error due to an attempt to access the same directory simultaneously, arising from a name collision in the generatedspec_name. Adding the option to specifyspec_namewithinassertFormalallows the caller to manually resolve such issues, while maintaining full backwards compatibility with existing scripts.