Abstract: Various implementations of the invention may be applied to generate an auxiliary verification statement. The auxiliary verification statement defines properties that check if the power domains are active at appropriate times is generated. Particularly, the auxiliary verification statement checks to ensure that power domain transitions do not interfere with the operation of the device design. With various implementations of the invention, an auxiliary verification statement may be generated by first determining a set of properties instantiated in a verification statement and then synthesizing the auxiliary verification statement based upon the determined properties, the corresponding device design and the power domains. In some implementations, the auxiliary verification statement instantiates properties that check if the power domains related to the properties in the verification statement are active when the verifications statement is exercised.

Abstract: Various implementations of the invention may be applied to generate an auxiliary verification statement. The auxiliary verification statement defines properties that check if the power domains are active at appropriate times is generated. Particularly, the auxiliary verification statement checks to ensure that power domain transitions do not interfere with the operation of the device design. With various implementations of the invention, an auxiliary verification statement may be generated by first determining a set of properties instantiated in a verification statement and then synthesizing the auxiliary verification statement based upon the determined properties, the corresponding device design and the power domains. In some implementations, the auxiliary verification statement instantiates properties that check if the power domains related to the properties in the verification statement are active when the verifications statement is exercised.

Abstract: The present invention provides for the generation of non-deterministic checker circuits. for use in formal verification of electronic designs. In various implementations, an assertion is first received, subsequently; a failure sequence is derived from the assertion. After which, a non-deterministic finite automaton is derived from the failure sequence. Lastly, a checker circuit is generated directly from the non-deterministic finite automaton.

Abstract: Various implementations of the invention may be applied to generate an auxiliary verification statement. The auxiliary verification statement defines properties that may be employed to check if the power domains are active at appropriate times. Particularly, the auxiliary verification statement checks to ensure that power domain transitions do not interfere with the operation of the device design. With various implementations of the invention, an auxiliary verification statement may be generated by first determining a set of properties instantiated in a verification statement and then synthesizing the auxiliary verification statement based upon the determined properties, the corresponding device design and the power domains. In some implementations, the auxiliary verification statement instantiates properties that check if the power domains related to the properties in the verification statement are active when the verifications statement is exercised.

Abstract: A system and method of implementing thereof that maps and condenses system control using reachable state control words is described. The system includes a control logic block, a look-up table which stores N-bit reachable state control words derived from an implementation description N-bit control signal, and a logic hardware block. The control logic block accesses the look-up table with a M-bit control word address. The accessed look-up table outputs a N-bit reachable state control word which is used to control the logic hardware block so as to simulate functions as defined by a user input description. A method for implementing the system is performed by synthesizing the user input description to generate an implementation description which describes a control model of the system in terms of a control logic block driving a logic hardware block with a N-bit control signal. The implementation description is analyzed to determine the reachable states of the N-bit control signal.

Abstract: This invention provides a method for displaying circuit analysis results corresponding to parts of the circuit near the portion of the hardware description language (HDL) specification that generated that part of the circuit. The invention also includes a method for using probe statements in the HDL specification to mark additional points in the initial circuit that should not be eliminated during optimization. This improves the ability to display circuit analysis results near the appropriate part of the HDL specification.

Abstract: A method of treating breast or ovarian cancer is disclosed by administering an effective amount of a compound obtained from an avocado plant.

Abstract: A digital circuit is synthesized from a text description of a digital system. During synthesis, a parse tree with parse nodes is constructed and retained. The relationship between the parse nodes and the circuit elements synthesized from those parse nodes is retained. Using that relationship, analysis results associated with circuit elements can be related to the text that generated those circuit elements. In particular, the analysis results can be used to set the display characteristics, such as font or size, of the text associated with those results.

Abstract: A system for specifying, synthesizing, analyzing, simulating, and generating circuit designs for frame protocols. A GUI allows a user to specify a frame protocol and to edit and browse frame protocols. The GUI also allows the user to analyze an intermediate virtual circuit resulting from the protocol and to check the syntax of the protocol specification. In addition, the GUI allows the user to generate a High-level Description Language (HDL) file for the protocol. After the HDL is generated, the user can, through the GUI, simulate the operation of the HDL. The present invention includes a "SIMPLUG" feature that specifies a standard interface for GUI software 110, allowing the GUI to operate with a variety of simulators. The present invention also "back annotates" the virtual circuit to provide information in the virtual circuit that is used during simulation to indicate information about individual frames in the protocol.