Industrial Factory Automation

The Airsaver control unit developed by Beckair is a compressed air control device designed to switch off the air supply when it is not needed. Any waste of compressed air is eliminated, which lowers energy consumption and cost. It has timed functions that combine to give 'supply on demand' operation. The air supply stops when a gap occurs in the containers on a conveyor or when a container stops in front of the sensor. The stop signal can be delayed to allow the last container to pass through a machine by means of an adjustable timer. The Airsaver can be used with a variety of sensors. Startup is instantaneous once a moving object is sensed again. One Airsaver unit can operate up to three valves. The sensor unit operates from a 24V DC supply and a power supply can be provided with options for both 110V and 230V AC. Payback time is typically within two to three months of use. It can be mounted onto existing installations and is protected to IP65, so it can be used in most envir...

Real Intent 's Ascent functional verification product now includes an automated solution to ensure X-robust designs, available through the Ascent Path-Based Verification (PBV) product. Explicit and implicit X sources (X assignments in RTL and non-resettable flops, respectively) in the designs can lead to many challenging issues for design verification, such as masking real design errors and causing RTL-to-netlist simulation mismatches. Depending on coding styles, simulation results can be X-pessimistic, which lead to unnecessary unknown values; or X-optimistic, which result in known values when they should have been unknown. Design and verification teams write properties to trap Xs or instrument two-value simulation with random initialisation to avoid X ambiguity in order to detect design errors. However, these approaches take a considerable amount of manual and computational resources without offering the complete confidence of X robustness. Ascent PBV offers a multi-faceted solut...