Abstract: Methods and devices for blending of fluids are disclosed. A fluid blender has a fluid inlet to receive a fluid, a nozzle with a convergent shape tapering down towards a nozzle end, a mixing chamber with holes arranged on a wall, and a mixture outlet having a divergent shape. In some aspects, a rotary sleeve is externally placed around the wall. The rotary sleeve has slits with a variable shape along its lateral extension. In other aspects the fluid blender has inlet tubes with check valves and a blending tube. An inlet tube has an adjustable orifice to adjust flow inside the blender.

Abstract: Ventilation methods and devices are disclosed. The described methods and devices can be used for treating respiratory diseases. More in particular, the teachings of the disclosure relate to methods and devices to treat victims of adult respiratory distress syndrome (ARDS). Embedded control software managing various functionalities of the disclosed ventilators is also presented.

Abstract: A system for verifying functionality of a circuit design under test (DUT) includes a control station comprising at least one graphical user interface (GUI); and at least one emulator in communication with the control station. The emulator may include a verification component and a register abstraction layer (RAL), wherein the verification component is configured to implement the DUT and the RAL is configured to implement one or more communication interfaces of the DUT. A traffic predictor in communication with the at least one emulator may monitor data traffic over the communication interface between the at least one emulator and the DUT, predict a response to the data traffic by the DUT, monitor a response to the traffic by the DUT, and determine if the response by the DUT matches the predicted response.

Abstract: A system for verifying functionality of a circuit design under test (DUT) includes a control station comprising at least one graphical user interface (GUI); and at least one emulator in communication with the control station. The emulator may include a verification component and a register abstraction layer (RAL), wherein the verification component is configured to implement the DUT and the RAL is configured to implement one or more communication interfaces of the DUT. A traffic predictor in communication with the at least one emulator may monitor data traffic over the communication interface between the at least one emulator and the DUT, predict a response to the data traffic by the DUT, monitor a response to the traffic by the DUT, and determine if the response by the DUT matches the predicted response.