The Ver-ilog Hardware Description Language Fourth Edition