Magillem Verification Scenarii environment configures validation of IP, sub-systems, and testbench generation