Added new verification core for codix environment. Added synth directory for all verification components. Fix with synchronization between input and output wrapper in SW part. Fixed handling of range in received transactions in output wrapper.