contraining designs for synthesis and timing analysis,IC design and verification reading books