* A lot of new checks are added to WishboneCheckerE unit trying to implement the rules of the Wishbone spec. * An illegal use of the suffix implication instead of logical implicationis fixed in WishboneMasterE unit