Abstract: A computer system traces an original electronic design automation (EDA) implementation process for electronic hardware designs. The original EDA implementation process includes multiple subprocesses to convert a hardware model to a physically-realized electronic circuit. The system inputs a cryptographic key and design information that includes the hardware model, constraints, properties, implementation settings, and other directives for directing the conversion. The cryptographic key and design information are processed to generate a sequence of instructions to execute and provide traceability of each subprocess.

Abstract: A computer system obtains and/or assists in creation of a design implementation file corresponding to a design, where the design is a hardware design or a software design and processes the design implementation file to determine design implementation objects and properties included in the one or more design implementation files. One or more intermediate representation data structures is generated, where each intermediate representation data structure includes design implementation objects, design object properties, and relationships between design implementation objects and/or design object properties. The computer system transforms each intermediate representation data structure into one or more corresponding design verification statements derived from the one or more design implementation files. Those design verification statements are subsequently evaluated against one or more design implementation files corresponding to the design.

Abstract: A computer system obtains and/or assists in creation of a natural language description file corresponding to a design, where the design is a hardware design or a software design and processes the natural language description file to extract semantic expressions. One or more intermediate representation data structures is generated from selected ones of the semantic expressions. Each intermediate representation data structure includes natural language design objects, natural language design object properties, and relationships between natural language design objects and/or natural language design object properties. The computer system transforms each intermediate representation data structure into one or more corresponding design verification statements derived from the natural language description file. Those design verification statements are subsequently evaluated against one or more design implementation files corresponding to the design.

Abstract: A computer system traces an original electronic design automation (EDA) implementation process for electronic hardware designs. The original EDA implementation process includes multiple subprocesses to convert a hardware model to a physically-realized electronic circuit. The system inputs a cryptographic key and design information that includes the hardware model, constraints, properties, implementation settings, and other directives for directing the conversion. The cryptographic key and design information are processed to generate a sequence of instructions to execute and provide traceability of each subprocess.

Abstract: A computer system traces an original electronic design automation (EDA) implementation process for electronic hardware designs. The original EDA implementation process includes multiple subprocesses to convert a hardware model to a physically-realized electronic circuit. The system inputs a cryptographic key and design information that includes the hardware model, constraints, properties, implementation settings, and other directives for directing the conversion. The cryptographic key and design information are processed to generate a sequence of instructions to execute and provide traceability of each subprocess.

Abstract: A computer system obtains and/or assists in creation of a natural language description file corresponding to a design, where the design is a hardware design or a software design and processes the natural language description file to extract semantic expressions. One or more intermediate representation data structures is generated from selected ones of the semantic expressions. Each intermediate representation data structure includes natural language design objects, natural language design object properties, and relationships between natural language design objects and/or natural language design object properties. The computer system transforms each intermediate representation data structure into one or more corresponding design verification statements derived from the natural language description file. Those design verification statements are subsequently evaluated against one or more design implementation files corresponding to the design.

Abstract: A computer system traces an original electronic design automation (EDA) implementation process for electronic hardware designs. The original EDA implementation process includes multiple subprocesses to convert a hardware model to a physically-realized electronic circuit. The system inputs a cryptographic key and design information that includes the hardware model, constraints, properties, implementation settings, and other directives for directing the conversion. The cryptographic key and design information are processed to generate a sequence of instructions to execute and provide traceability of each subprocess.

Abstract: The present invention is directed to small interfering RNA molecules (siRNA) targeted against nucleic acid sequence that encodes huntingtin or ataxin-1, and methods of using these siRNA molecules.

Abstract: The present invention is directed to nucleic acid molecules containing a loop sequence designed to circumvent exportin-5 mediated export, and methods using these novel molecules.

Abstract: The present invention is directed to small interfering RNA molecules (siRNA) targeted against nucleic acid sequence that encodes huntingtin or ataxin-1, and methods of using these siRNA molecules.

Abstract: The present invention is directed to nucleic acid molecules containing a loop sequence designed to circumvent exportin-5 mediated export, and methods using these novel molecules.

Abstract: The present invention is directed to small interfering RNA molecules (siRNA) targeted against nucleic acid sequence that encodes huntingtin or ataxin-1, and methods of using these siRNA molecules.

Abstract: The present invention is directed to nucleic acid molecules containing a loop sequence designed to circumvent exportin-5 mediated export, and methods using these novel molecules.

Abstract: The present invention is directed to small interfering RNA molecules (siRNA) targeted against nucleic acid sequence that encodes huntingtin or ataxin-1, and methods of using these siRNA molecules.

Abstract: The present invention is directed to small interfering RNA molecules (siRNA) targeted against nucleic acid sequence that encodes huntingtin or ataxin-1, and methods of using these siRNA molecules.

Abstract: Methods and apparatus for providing data processing and control for use in verifying the stability of sensor sensitivity of an analyte sensor.

Abstract: The present invention is directed to nucleic acid molecules containing a loop sequence designed to circumvent exportin-5 mediated export, and methods using these novel molecules.

Abstract: The present invention is directed to nucleic acid molecules containing a loop sequence designed to circumvent exportin-5 mediated export, and methods using these novel molecules.

Abstract: The present invention is directed to small interfering RNA molecules (siRNA) targeted against nucleic acid sequence that encodes huntingtin or ataxin-1, and methods of using these siRNA molecules.

Abstract: The present invention is directed to small interfering RNA molecules (siRNA) targeted against nucleic acid sequence that encodes huntingtin or ataxin-1, and methods of using these siRNA molecules.