Resources for logic synthesis and verification
问题 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. 回答1: A flow primer can be found here: Advanced ASIC Chip Synthesis Using Synopsys® Design Compiler® Physical Compiler® and