Abstract: An apparatus comprising a system configuration generator, a system builder and a simulation verification environment. The system configuration generator may be configured to generate a random system configuration file of a structurally variable and complex system. The system builder may be configured to build a system level netlist in response to the random system configuration file. The simulation verification environment may be configured to verify the structurally variable and complex system in response to the system level netlist. The simulation verification environment may be configured to provide automatic random verification of the system in response to the random system configuration file.

Abstract: A device for elevating a horse hoof to encourage the horse to lift the opposite hoof for shoeing. The device includes primarily a sock configured to be releasably mounted on a horse hoof and at least one riser secured to the sock for elevating the horse hoof. The sock is fabricated of a pliable material and is configured to conform to the hoof of the horse when attached. An opening is provided in the rear of the sock to enable mounting and dismounting of the sock on the hoof. A fastening device is carried by the sock to secure the sock to the hoof to prevent unselected removal. The sock is carried by a primary riser. The primary riser is comprised of a plurality of riser pads stacked one on top of another. The riser pads are secured to each other in a conventional manner. A horseshoe is mounted on the bottom surface of the primary riser in order to enhance the durability of the bottom riser pad.

Abstract: A device for elevating a horse hoof to encourage the horse to lift the opposite hoof for shoeing. The device includes primarily a sock configured to be releasably mounted on a horse hoof and at least one riser secured to the sock for elevating the horse hoof. The sock is fabricated of a pliable material and is configured to conform to the hoof of the horse when attached. An opening is provided in the rear of the sock to enable mounting and dismounting of the sock on the hoof. A fastening device is carried by the sock to secure the sock to the hoof to prevent unselected removal. The sock is carried by a primary riser. The primary riser is comprised of a plurality of riser pads stacked one on top of another. The riser pads are secured to each other in a conventional manner. A horseshoe is mounted on the bottom surface of the primary riser in order to enhance the durability of the bottom riser pad.