- Synopsys VERA Group The VERA Group of Synopsys (formerly, Systems Science, Inc.) provides the most comprehensive testbench automation solution available for functional verification. The VERATM System Verifier, the only tool to offer closed loop functional coverage, automates critical portions of the verification process - dramatically reducing the effort and time it takes to verify complex ...www.systems.com