Abstract: A training device and a training method for reducing hypertonic are disclosed. The training device includes a base, a driving circuit, two pedals, a control circuit, and a switch circuit. The driving circuit is fixed on the base. Each of the two pedals is coupled to the base. The driving circuit drives each of the two pedals to swing repeatedly between a first position and a second position relative to the base. When the control circuit executes a training program, the control circuit actuates the driving circuit.

Abstract: An accurate process hotspot detection technique based on DRC is provided. In this technique, critical DRC rules can be extracted from a pattern. This extraction can include generating horizontal tiles and vertical tiles in the pattern, and adding directed edges to indicate relations between adjacent tiles in the pattern. Rule rectangles, which can also be generated during the critical DRC rule extraction, describe polygon placement in the pattern with a minimal number of critical DRC rules. The extracted DRC rules can be included in a DRC runset file. DRC can be performed with the DRC runset file on a layout. The DRC results can be filtered using the rule rectangles to identify potential hotspots and to verify actual hotspots.