introductiontologicsynthesisusingverilog.pdfveryhandyreference!