Abstract: An automatic test pattern generation-based circuit verification method, comprises: determining a to-be-detected first logic cone from a fan-out logic cone corresponding to the target line; determining, based on the first logic cone, a to-be-detected second logic cone from a fan-in logic cone corresponding to the target line; generating a first CNF based on the first logic cone and the second logic cone, and detecting the target line by using the first CNF to obtain a first detection result; and if the first logic cone is a partial region in the fan-out logic cone, and the first detection result meets a first specified condition corresponding to the first logic cone, determining a first verification result of the target line based on the first detection result.

Abstract: An automobile charger, a charging method and a medium are provided. The charger includes a MCU, a switching power supply circuit, a first and second charging circuits, a battery voltage detection circuit, a charging current detection circuit, a constant-current driving control circuit, a constant-voltage driving control circuit and a switch driving control circuit. The charger is provided with the first and second charging circuits, which can realize three charging modes on the battery. The real-time voltage signal and the real-time current signal are collected with the battery voltage detection circuit and the charging current detection circuit, and through feedback of the real-time voltage signal and the real-time current signal, the MCU is configured to output PWM signals with different duty ratios to the constant-current driving control circuit and the constant-voltage driving control circuit, so as to realize output of different voltage values and current values of the switching power supply.

Abstract: A vehicle starting power supply is provided, which includes a control module; a charging and discharging circuit, an input of which is connected with an output of the control module, the charging and discharging circuit being configured for charging and discharging a lithium battery; a battery voltage detection circuit, an input of which is connected with an automobile battery, an output of the battery voltage detection circuit being connected with an input of the control module; a battery reverse connection detection circuit, an input of which is connected with the automobile battery, an output of the battery reverse connection detection circuit being connected with the input of the control module; an alarm response circuit, an input of which is connected with the output of the control module; and a relay driving circuit being configured for connecting or disconnecting a discharge circuit between the lithium battery and the automobile battery.

Abstract: A cable connector, a cable clamp, and a method for detecting bridging of car batteries. The cable connector includes a housing and a wiring circuit, wherein the wiring circuit is arranged in the housing and includes a first wiring terminal, a second wiring terminal, and a detection module and voltage absorption module electrically connected between the first wiring terminal and the second wiring terminal, and a voltage absorption module. The voltage absorption module includes a piezoresistor bridged between the first wiring terminal and the second wiring terminal. The detection module includes a first switch circuit and a second switch circuit which are oppositely bridged between the first wiring terminal and the second wiring terminal to be alternatively turned on, wherein the first switch circuit includes a first illumination unit, and the second switch circuit includes a second illumination unit.

Abstract: Systems and methods for a deterministic automatic test generation (ATPG) process including Timing Exception ATPG (TEA). A method includes performing an automated test pattern generation (ATPG) process that uses timing exception information to generate a test pattern for a targeted fault of a circuit design with at least one timing exception path. The method includes testing the targeted fault of the circuit design using the test pattern to produce a test result for the targeted fault.

Abstract: A cable connector, a cable clamp, and a method for detecting bridging of car batteries. The cable connector includes a housing and a wiring circuit, wherein the wiring circuit is arranged in the housing and includes a first wiring terminal, a second wiring terminal, and a detection module and voltage absorption module electrically connected between the first wiring terminal and the second wiring terminal, and a voltage absorption module. The voltage absorption module includes a piezoresistor bridged between the first wiring terminal and the second wiring terminal. The detection module includes a first switch circuit and a second switch circuit which are oppositely bridged between the first wiring terminal and the second wiring terminal to be alternatively turned on, wherein the first switch circuit includes a first illumination unit, and the second switch circuit includes a second illumination unit.

Abstract: Systems and methods for a deterministic automatic test generation (ATPG) process including Timing Exception ATPG (TEA). A method includes performing an automated test pattern generation (ATPG) process that uses timing exception information to generate a test pattern for a targeted fault of a circuit design with at least one timing exception path. The method includes testing the targeted fault of the circuit design using the test pattern to produce a test result for the targeted fault.

Abstract: Preparation of acyclovir 2/3 hydrate comprises mixing acyclovir with water at weight ratio of 1:5˜50, dissolving at 50˜100° C., filtering, cooling filtrate at 0˜30° C. to precipitate crystal, collecting the crystal by filtration, and drying the crystal at 0˜150° C. for 0.5˜24 hours to obtain acyclovir 2/3 hydrate. The preparation process is simple and suitable for industrial production. The prepared product has good and stable crystal form.

Abstract: Preparation of acyclovir 2/3 hydrate comprises mixing acyclovir with water at weight ratio of 1:5˜50, dissolving at 50˜100° C., filtering, cooling filtrate at 0˜30° C. to precipitate crystal, collecting the crystal by filtration, and drying the crystal at 0˜150° C. for 0.5˜24 hours to obtain acyclovir 2/3 hydrate. The preparation process is simple and suitable for industrial production. The prepared product has good and stable crystal form.