| Patent application number | Description | Published |
|---|
| 20080208559 | METHOD AND APPARATUS FOR FORMALLY CHECKING EQUIVALENCE USING EQUIVALENCE RELATIONSHIPS - An equivalency testing system, for formally comparing an RTLM and HLM, is presented. RTLM and HLM are first converted into DFGs RTLM | 08-28-2008 |
| 20080209370 | FORMALLY PROVING THE FUNCTIONAL EQUIVALENCE OF PIPELINED DESIGNS CONTAINING MEMORIES - One embodiment of the present invention provides a system that formally proves the functional equivalence of pipelined designs. First, the system receives a specification for a first pipelined design, which includes a first memory system, and a specification for a second pipelined design, which includes a second memory system. Next, the system determines a correspondence between operations on the first memory system and corresponding operations on the second memory system. This correspondence enables memory operations to be represented in a combinational form based on design inputs, thereby allowing both memory systems to be logically abstracted out of their respective designs. After the memory systems have been abstracted out, the system compares the combinational outputs of the first pipelined design and the combinational outputs of the second pipelined design to verify that the designs are functionally equivalent. | 08-28-2008 |
| 20080235253 | METHOD AND APPARATUS FOR FORMALLY CHECKING EQUIVALENCE USING EQUIVALENCE RELATIONSHIPS - An equivalency testing system, for formally comparing an RTLM and HLM, is presented. RTLM and HLM are first converted into DFGs RTLM | 09-25-2008 |
| 20080301602 | METHOD AND APPARATUS FOR PERFORMING FORMAL VERIFICATION USING DATA-FLOW GRAPHS - An equivalency testing system, for formally comparing an RTLM and HLM, is presented. RTLM and HLM are first converted into DFGs RTLM | 12-04-2008 |
| Patent application number | Description | Published |
|---|
| 20100197955 | METHOD FOR PRODUCING BUTANEDIOL DIMETHACRYLATES - The present invention relates to a process for preparing butanediol dimethacrylates, which comprises the transesterification of butanediol with an ester of methacrylic acid in the presence of catalysts, wherein a combination comprising at least one lithium compound and at least one calcium compound is used as catalyst, at least one of the compounds of lithium and/or of calcium is an oxide, a hydroxide, an alkoxide having from 1 to 4 carbon atoms or a carboxylate having from 1 to 4 carbon atoms and at least part of the reaction is carried out in the presence of an effective amount of water. The process of the invention makes a particularly inexpensive preparation of butanediol dimethacrylates having a very high purity possible. | 08-05-2010 |
| 20100204509 | METHOD FOR PRODUCING (METH)ACRYLATES - The present invention relates to a process for preparing (meth)acrylates, which comprises the transesterification of an alcohol with a low-boiling ester of (meth)acrylic acid in the presence of catalysts, with the alcohol liberated from the low-boiling ester of (meth)acrylic acid being separated off by distillation, characterized in that the molar ratio of low-boiling ester of (meth)acrylic acid to starting alcohol present in the reaction mixture is increased during the reaction by addition of low-boiling ester of (meth)acrylic acid. The process of the invention makes a particularly inexpensive preparation of (meth)acrylates having a very high purity possible. | 08-12-2010 |
| 20100273970 | PROCESS FOR PREPARATION OF HIGH PURITY METHACRYLIC ACID - The present invention relates to a process for preparation of pure methacrylic acid, at least comprising the process steps: a) gas phase oxidation of a C4 compound to obtain a methacrylic acid-comprising gas phase, b) condensation of the methacrylic acid-comprising gas phase to obtain an aqueous methacrylic acid solution, c) separation of at least a part of the methacrylic acid from the aqueous methacrylic acid solution to obtain at least one crude methacrylic acid-comprising product; d) separation of at least a part of the methacrylic acid from the at least one crude methacrylic acid-comprising product by means of a thermal separation process to obtain a pure methacrylic acid. | 10-28-2010 |
