This paper expounds the roof regularities of the fully mechanized mining face,probes into the harmfulness caused by the end-support lagging and waste edge unevenness,points out that the main causes of the end-support lagging are the problems of the manufacturing of the scraper conveyor and the device attachment,and puts forward some suggestions.

This paper proposes a new methodology to design highly-balanced and highly-reliable front-end controllable clock tree,and solves the problem that clock tree has to be designed iteratively until performance and power dissipation requirements are met in back-end flow.

The equivalent checking in the formal verification was through the whole of digital circuit back-end design, such as: the comparison between RTL and netlist; the one between netlist and layout.

Taking the back end design of bluetooth baseband chip for example, the article introduces the semi custom ASIC design flow and design principles by using the auto place & route tool .