Abstract: A system receive as input a circuit design and a description of the behavior of the circuit design specified as assertions. The system generates a model used for verifying that the circuit design satisfies the specified behavior. The system generates an alternating automaton representing the assertions. The alternating automaton may be non-deterministic. The system translates the alternating automaton to a finite state machine (FSM) that may be represented using a representation such as a register transfer level (RTL) representation. The system models existential transitions in the state machine using variables. As a result, the system generates fewer states in the state machine, thereby requiring significantly less memory resources for processing the assertion. The system validates the circuit design using the state machine for further design and manufacture of the circuit.

Abstract: A system receive as input a circuit design and a description of the behavior of the circuit design specified as assertions. The system generates a model used for verifying that the circuit design satisfies the specified behavior. The system generates an alternating automaton representing the assertions. The alternating automaton may be non-deterministic. The system translates the alternating automaton to a finite state machine (FSM) that may be represented using a representation such as a register transfer level (RTL) representation. The system models existential transitions in the state machine using variables. As a result, the system generates fewer states in the state machine, thereby requiring significantly less memory resources for processing the assertion. The system validates the circuit design using the state machine for further design and manufacture of the circuit.

Abstract: An agency management and content management integration system links agency management system domain entities (such as clients, policies, claims, vendors) to content management system content hierarchical structures (such as client files, policy folders, claims folders, vendor files). End users can quickly navigate to the appropriate content management system structure or structures when working with an entity in the agency management system via button integration. The agency management and content management integration system automatically creates and updates the content management system when changes are made to the agency management system. This may include providing multiple mappings between the entities of the insurance agency management system and content hierarchical structures, a preview of changes to the content hierarchical structures, a testing environment to test the content hierarchical structure changes, and troubleshooting logs resulting from testing of the content hierarchical structure.

Abstract: The invention provides a wheeling device for a packaged article which may be directly attached to the packaging of the article and which comprises wheeling means. The invention also provides a wheelable package for an article comprising at least one wheeling device according to the present invention, the wheeling device being directly attached to the package. The invention further provides a method of improving the handlability of a packaged article comprising directly attaching to the packaging of the article one or more wheeling devices of the invention.

Abstract: A stabiliser for a wheeled packaged article, the stabiliser configured for direct attachment to the packaging of a packaged article by a clamp connector that engages an inner surface of the packaging, wherein the stabiliser comprises: anti-rolling means; a base plate, to which the anti-rolling means is coupled, and which base plate comprises means to enable the stabiliser to be attached to the packaging of a packaged article by a clamp connector; wherein the base plate comprises an aperture, so that when the device is attached to the packaging of a packaged article by a clamp connector, the clamp connector engages the surface of the base plate that is not in contact with the packaging.

Abstract: An agency management and content management integration system links agency management system domain entities (such as clients, policies, claims, vendors) to content management system content hierarchical structures (such as client files, policy folders, claims folders, vendor files). End users can quickly navigate to the appropriate content management system structure or structures when working with an entity in the agency management system via button integration. The agency management and content management integration system automatically creates and updates the content management system when changes are made to the agency management system. This may include providing multiple mappings between the entities of the insurance agency management system and content hierarchical structures, a preview of changes to the content hierarchical structures, a testing environment to test the content hierarchical structure changes, and troubleshooting logs resulting from testing of the content hierarchical structure.

Abstract: The invention provides a wheeling device for a packaged article which may be directly attached to the packaging of the article and which comprises wheeling means. The invention also provides a wheelable package for an article comprising at least one wheeling device according to the present invention, the wheeling device being directly attached to the package. The invention further provides a method of improving the handlability of a packaged article comprising directly attaching to the packaging of the article one or more wheeling devices of the invention.

Abstract: A detector has a thermoelectric sensor and a reactive layer. The thermoelectric sensor is configured to sense heat and to provide an electrical signal based on the sensed heat. The reactive layer is coupled to the thermoelectric sensor and is reactive with an airborne chemical or airborne biological agent of interest. The reaction is exothermic or endothermic. When the airborne agent of interest reacts with the reactive layer, the reaction is detected by the thermoelectric sensor. The electrical signal provides an indication based on the reaction.

Abstract: A cockpit (2) at the stern of a boat may be covered in two stages. Firstly, a first canopy system (3) of the bimini type is deployed. Then a second canopy system (4) is deployed and has a frame member (411) which can be pivoted rearwardly over the deployed first canopy system (3) so as to allow the second canopy system to be deployed after the first canopy system. A canopy (42) of the second canopy system covers a portion of the cockpit deck behind the portion covered by the bimini canopy (32).