Resources for logic synthesis and verification

Question

I am currently working on logic synthesis- given a high level description of a hardware I wish to convert it into a circuit of gates,flip flops etc. I am not very much familiar with the theory. I searched the internet, but most of them refer to online book stores.

Could someone please refer me to any good tutorials on the net? Any help regarding it would be appreciated.

Answer 1

A flow primer can be found here:
Advanced ASIC Chip Synthesis Using Synopsys® Design Compiler® Physical Compiler® and PrimeTime® by Himanshu Bhatnagar.

Its an old book so there is probably something newer out there.

Available on Google Books and Amazon.

Implementing these things are for large companies if you want some thing simple for prototyping use a PAL or FPGA. See Altera, Xilinx and similar.

Most universities have access to these or similar tools.