Abstract: Systems, methods, apparatuses, and computer program products for harvesting energy using a self-adjusting rotating airfoil piezoelectric energy harvester for fluid-flow applications. A method may include detecting, by an airfoil, an incoming fluid flow. The method may also include oscillating, by a bluff body of the airfoil, perpendicular to a direction of the fluid flow. The method may further include converting mechanical strain from the oscillation into electrical energy. In addition, the method may include storing the electrical energy.

Abstract: A technique to enable accurate timing and functional verification in a negative constraint calculation (NCC) implemented event-driven logic simulators when there are negative constraints in logic elements. In one example embodiment, the technique adjusts negative timing constraints by grouping the timing constraints based on associated output terminals in a digital logic circuit. The NCC is then applied to each grouped constraint to correct for path delays and resulting timing inaccuracy during an event driven simulation.