Abstract: A DC-AC frequency converter type nose cleaner includes an electromagnetic pump, a container storing a cleaning solution, a nose-washing tool and a frequency converter circuit driving the electromagnetic pump. The frequency converter circuit at least includes an oscillator circuit, a bistable circuit and a push-pull circuit. The swing speed, the swing frequency and the swing amplitude of the swing arms vary with the change of the oscillation frequency of the oscillator circuit. The DC-AC frequency converter type nose cleaner can change the pressure and the flow generated by the electromagnetic pump so as to satisfy the requirement of the discharge pressure and flow of the nose cleaner so as to overcome the defect of the discharge pressure of the conventional nose cleaner that is too big to hurt the user.

Abstract: A test system for testing prototype designs includes a host workstation, multiple interface devices, and multiple prototype boards. The prototype boards include programmable devices which implement one or more partitions of a user design and an associated verification modules. The verification modules probe signals of the partitions and transmit the probed signals to the interface devices. The verification modules can also transmit output signals generated by one or more partitions on the prototype boards to the host workstation via the interface devices, and transmit input signals, which are received from the host workstation via the interface devices, to one or more partitions on the prototype boards.

Abstract: A method for emulating a circuit design includes receiving, at an emulation interface, signal values associated with probed signals from a verification module of a custom prototype board which can be described by at least one board description file and can comprise at least one field programmable gate array for emulating the circuit design. The method can also include processing, the probed signal values associated with a portion of the circuit design being emulated, the emulation interface being capable of being configured to provide timing and control information to at least the verification module, and can comprise a controller and a memory device, with the controller being capable of being configured to receive the probed signal values. The method can further include storing the processed information and transmitting it to the host workstation.

Abstract: A custom prototyping board and a controller are integrated to form an emulation system for emulating a circuit design. The controller may be disposed on an adaptor board. The custom prototyping board is defined by a set of board description files which further define the FPGA device(s) used in the system as well as the wire connections among the FPGA devices and connectors on the custom prototyping board. The FPGA device(s) is configured in accordance with the partitioned circuit design. Each partitioned circuit in the FPGA device is associated with a verification module for communicating with the controller to control and probe the emulation. A host workstation may be used to link with the controller to support co-simulation or co-emulation of the circuit design.

Abstract: The present invention provides a DC-AC frequency converter type mucus suction device having an electromagnetic pump, the pressure and the flow generated in which could be changed to satisfy the requirement of the mucus suction device. The mucus suction device of the present invention comprises an electromagnetic pump, a suction device and a frequency converter circuit, wherein the frequency converter circuit at least comprises an oscillator circuit, a bistable circuit, and a push-pull circuit, wherein the electromagnetic pump is supplied with AC obtained from the oscillation of DC in the frequency converter circuit, wherein the swing speed, frequency and amplitude of the swing arms vary with the oscillation frequency of the oscillator circuit, such that the suction pressure and the suction flow of the electromagnetic pump could further be changed to obtain the most appropriate pressure and flow of the mucus suction device.

Abstract: A bubble-type nose cleaner includes a container, an electromagnetic pump, a nose-washing tool, and at least a bubble generating valve. The container has a containing space for storing a cleaning solution. The electromagnetic pump is communicated with the container through a negative pressure channel. The nose-washing tool is communicated with the electromagnetic pump through a positive pressure channel, thereby the nose-washing tool is applied with the cleaning solution drawn by the negative pressure and then discharges the cleaning solution when the electromagnetic pump actuates. The bubble generating valve is provide at a negative pressure channel or a positive pressure channel and has an air inletting opening provided at the negative pressure channel or the positive pressure channel for communicating the exterior with the interior, wherein a cap is used to control the gas-flow rate of the bubble generating valve.

Abstract: An electromagnetic pump has a frequency converter circuit for driving the electromagnetic pump, wherein the frequency converter circuit comprises an oscillator circuit, a bistable circuit and a push-pull circuit. The oscillator circuit oscillates to transform DC into a single-phase oscillating signal. The bistable circuit splits the single-phase oscillating signal into a N-phase stimulus signal and a S-phase stimulus signal. The push-pull circuit amplifies and transports the N-phase stimulus signal and the S-phase stimulus signal to the electromagnetic pump to make the swing arms of the electromagnetic pump swinging effectively, wherein the swing speed, the swing frequency and the swing amplitude of the swing arms vary with the change of the oscillation frequency of the oscillator circuit.

Abstract: A method for emulating a circuit design includes receiving, at an emulation interface, signal values associated with probed signals from a verification module of a custom prototype board which can be described by at least one board description file and can comprise at least one field programmable gate array for emulating the circuit design. The method can also include processing, the probed signal values associated with a portion of the circuit design being emulated, the emulation interface being capable of being configured to provide timing and control information to at least the verification module, and can comprise a controller and a memory device, with the controller being capable of being configured to receive the probed signal values. The method can further include storing the processed information and transmitting it to the host workstation.

Abstract: An electromagnetic pump has a frequency converter circuit for driving the electromagnetic pump, wherein the frequency converter circuit comprises an oscillator circuit, a bistable circuit and a push-pull circuit. The oscillator circuit oscillates to transform DC into a single-phase oscillating signal. The bistable circuit splits the single-phase oscillating signal into a N-phase stimulus signal and a S-phase stimulus signal. The push-pull circuit amplifies and transports the N-phase stimulus signal and the S-phase stimulus signal to the electromagnetic pump to make the swing arms of the electromagnetic pump swinging effectively, wherein the swing speed, the swing frequency and the swing amplitude of the swing arms vary with the change of the oscillation frequency of the oscillator circuit.

Abstract: A DC-AC frequency converter type nose cleaner includes an electromagnetic pump, a container storing a cleaning solution, a nose-washing tool and a frequency converter circuit driving the electromagnetic pump. The frequency converter circuit at least includes an oscillator circuit, a bistable circuit and a push-pull circuit. The electromagnetic pump is supplied with AC obtained from the oscillation of DC in the frequency converter circuit. The swing speed, the swing frequency and the swing amplitude of the swing arms vary with the change of the oscillation frequency of the oscillator circuit. Thereby, the discharge pressure and the discharge flow of the electromagnetic pump could further be changed to obtain the most appropriate discharge pressure and discharge flow of the nose cleaner.

Abstract: The present invention provides a DC-AC frequency converter type mucus suction device having an electromagnetic pump, the pressure and the flow generated in which could be changed to satisfy the requirement of the mucus suction device. mucusThe mucus suction device of the present invention comprises an electromagnetic pump, a suction device and a frequency converter circuit, wherein the frequency converter circuit at least comprises an oscillator circuit, a bistable circuit, and a push-pull circuit, wherein the electromagnetic pump is supplied with AC obtained from the oscillation of DC in the frequency converter circuit, wherein the swing speed, frequency and amplitude of the swing arms vary with the oscillation frequency of the oscillator circuit, such that the suction pressure and the suction flow of the electromagnetic pump could further be changed to obtain the most appropriate pressure and flow of the mucus suction device.

Abstract: A bubble-type nose cleaner includes a container, an electromagnetic pump, a nose-washing tool, and at least a bubble generating valve. The container has a containing space for storing a cleaning solution. The electromagnetic pump is communicated with the container through a negative pressure channel, thereby the cleaning solution in the container could provide fluid in the electromagnetic pump. The nose-washing tool is communicated with the electromagnetic pump through a positive pressure channel, thereby the nose-washing tool is applied with the cleaning solution drawn by the negative pressure and then discharges the cleaning solution when the electromagnetic pump actuates.

Abstract: A synthesizer processes a register transfer level (RTL) netlist description of a circuit to produce a non-optimized gate level netlist preserving all signals referenced by the RTL netlist. The gate level netlist is then processed to identify the circuit's memory devices and to determine logical relationships between its internal signals (all signals other than circuit and memory device input and output signals) and its other signals (circuit and memory device input and output signals). The synthesizer then again processes the RTL netlist to produce an optimized gate level netlist that preserves the identified memory devices, but which omits reference to some or all of the internal signals. A circuit verification system then processes the optimized gate level netlist to produce waveform data representing time-varying behavior of the other signals of the circuit.

Abstract: A diaphragm pumping device includes a housing having a partition to form an upper chamber and a lower chamber, an inlet port for receiving a fluid, and an outlet port, a bladder attached to the housing and having a compartment communicating with the chambers of the housing, two check valves disposed between the bladder and the chambers of the housing, and an electro-magnetic device actuates the arm to depress and to expand the bladder in order to draw the fluid form the inlet port of the housing toward the outlet port of the housing, the outlet port is communicating with the lower chamber of the housing for allowing the fluid to be completely pumped out of the lower chamber of the housing.

Abstract: A synthesizer processes a register transfer level (RTL) netlist description of a circuit to produce a non-optimized gate level netlist preserving all signals referenced by the RTL netlist. The gate level netlist is then processed to identify the circuit's memory devices and to determine logical relationships between its internal signals (all signals other than circuit and memory device input and output signals) and its other signals (circuit and memory device input and output signals). The synthesizer then again processes the RTL netlist to produce an optimized gate level netlist that preserves the identified memory devices, but which omits reference to some or all of the internal signals. A circuit verification system then processes the optimized gate level netlist to produce waveform data representing time-varying behavior of the other signals of the circuit.

Abstract: A co-verification system includes a computer programmed to act as a simulator for simulating behavior of a first portion of an electronic device under test (DUT) by acquiring, processing and generating data representing DUT signals. The co-verification system also includes emulation resources programmed to emulate a second portion of the DUT by receiving, processing and generating emulation signals representing DUT signals. The signals of the DUT are mapped to separate addresses within a memory space, and the simulator controls and reads states of emulation signals by writing data to and reading data from addresses of the memory space states mapped to the DUT signals the emulation signals represent. The computer and the emulation resources are also programmed to implement transactors communicating with one another through a packet routing network. The transactors set states of the emulation signals when the simulator writes to memory space addresses and for reading states of the emulation signals.

Abstract: A resource board for a circuit emulator holds programmable logic devices (PLDs) and other emulation resources such as random access memories (RAMs) and employs both hard-wired and network-based virtual signal paths to flexibly route signals between the emulation resources on the resource board and resources mounted on other resource boards, workstations and other external equipment. The resource board also provides the logic and balanced signal paths needed to deliver clock signals to the PLDs and reduces the number of signals needed to communicate with external test equipment by implementing much of the pattern generation and data acquisition functionality needed to test an emulated circuit.

Abstract: Before using a netlist description of an integrated circuit as a basis for programming a circuit emulator, a clock analysis tool analyzes the netlist to identify synchronizing circuits including clocked devices (“clock sinks”) such a flip-flops, registers and latches for synchronizing communication between blocks of logic within the IC. The tool initially classifies the clock signal input to each clock sink according to its clock domain, sub-domain and phase. The tool then classifies each synchronizing circuit according to relationships between the classifications of the clock signals it employs to clock its input and output clock sinks. The tool then determines, based on the classification of each synchronizing circuit, whether the emulator can reliably emulate that synchronizing circuit, or whether the tool should automatically modify the netlist description of the synchronizing circuit so that the emulator can emulate it.

Abstract: An apparatus for emulating the behavior of an electronic device under test (DUT) includes a computer and one or more resource boards containing emulation resources suitable for emulating portions of the DUT. Each resource board includes transaction device for communicating with one another and with the computer network via data packets transmitted over a packet routing network. The packet routing network and the transaction device on each resource board provide “virtual signal paths” between input and output terminals of resources mounted on separate resource boards. To do so, a transaction device on one resource board sends packets containing data indicating output signal states of local emulation resources to a transaction device on another resource board when then drives signals supplied to input terminals of its local emulation resources to the states indicated by the data conveyed in the packet.

Abstract: A resource board for a circuit emulator holds programmable logic devices (PLDs) and other emulation resources such as random access memories (RAMs) and employs both hard-wired and network-based virtual signal paths to flexibly route signals between the emulation resources on the resource board and resources mounted on other resource boards, workstations and other external equipment. The resource board also provides the logic and balanced signal paths needed to deliver clock signals to the PLDs and reduces the number of signals needed to communicate with external test equipment by implementing much of the pattern generation and data acquisition functionality needed to test an emulated circuit.