Abstract: A multi-winding inductor includes a magnetic core including three magnetic columns and two windings. Each winding includes a first, a second and a third portions. The first magnetic column is arranged between the first portion of the first winding and the first portion of the second winding; the second magnetic column is arranged on one side of the first portion of the first winding and the third portion of the second winding; and the third magnetic column is arranged between the third portion of the first winding and the third portion of the second winding. The first and the second portions of two windings respectively form pins on opposite sides of the magnetic core.

Abstract: A substrate includes a first insulation layer, a passive component, a first through-hole structure, a second insulation layer and a second electrode. The first insulation layer has a top surface and a bottom surface. The passive component is embedded in the first insulation layer. The passive component includes a first conducting terminal. The first through-hole structure is formed in the first insulation layer. The first through-hole structure includes a conductive part and an insulation part disposed within the conductive part. The conductive part is in contact with the first conducting terminal and formed as a first electrode. The second insulation layer is disposed on portion of the conductive part that is close to the bottom surface of the first insulation layer. At least part of the second electrode is disposed on the second insulation layer. The second electrode is in contact with the first insulation layer.

Abstract: An interrupt-driven system verification method based on interrupt sequence diagrams includes the steps of: establishing an interrupt-driven system model based on an interrupt sequence diagram, dividing interaction fragments in the obtained interrupt sequence diagram into basic interaction fragments and composite interaction fragments and sequentially converting the basic interaction fragments and the composite interaction fragments into the corresponding automaton models, combining the automaton models into one automaton model, adding the constraints in the interrupt sequence diagram to the converted automaton model, adding the verification attribute information as a constraint to the converted automaton model, describing an automaton as an input format acceptable to the automaton verification tool, and verifying the model with the automaton verification tool.

Abstract: An interrupt-driven system verification method based on interrupt sequence diagrams includes the steps of: establishing an interrupt-driven system model based on an interrupt sequence diagram, dividing interaction fragments in the obtained interrupt sequence diagram into basic interaction fragments and composite interaction fragments and sequentially converting the basic interaction fragments and the composite interaction fragments into the corresponding automaton models, combining the automaton models into one automaton model, adding the constraints in the interrupt sequence diagram to the converted automaton model, adding the verification attribute information as a constraint to the converted automaton model, describing an automaton as an input format acceptable to the automaton verification tool, and verifying the model with the automaton verification tool.