Abstract: The present invention provides a visual debugger for dynamic XLS transformations. A method for real time debugging of mixed Java and Extensible Stylesheet Language Transform (XSLT) code comprises sending debug events from Java and XSLT debug sub-adapters to a debug super adapter, filtering the debug events received from the Java and XSLT debug sub-adapters, generating debug events representing a consolidated view of the received debug events, and sending the debug events to a debug user interface (UI).

Abstract: Reducible registers are determined to optimize a sequential circuit. A screening method tests one or more sets of registers where the registers of each set are assumed to satisfy a logic condition. The tests determine if the logic condition holds. If the logic condition of a set is found to be violated, the registers may be moved to another set having a different logic condition or removed completely. The registers remaining are potentially reducible. The reducibility of the registers is verified via Boolean analysis by verifying the logic conditions of a register set for each register. If a register does not pass verification, it then may be moved to a different set having a different logic condition or removed completely. The sets that pass verification are reducible.