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

Answer 1

What about basics, related to this stuff, try "Introduction to Algorithms" by Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein.

Some of algorithms are related to circuits, hardware design, like sorting networks, arithmetical circuits, satisfiability of logical circuits.

I am not digged into "logic synthesis", so this answer is based only on intuition, that knowledge of algorithms related to above topic might be useful.