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 |
20110276934 | FORMAL EQUIVALENCE CHECKING BETWEEN TWO MODELS OF A CIRCUIT DESIGN USING CHECKPOINTS - Some embodiments of the present invention provide techniques and systems for determining whether a high-level model (HLM) for a circuit design is equivalent to a register-transfer-level (RTL) model for the circuit design. During operation, a system can identify a set of checkpoints. Each checkpoint can be associated with a characteristic function defined over the states of a finite-state-machine (FSM) representation of the HLM, a characteristic function defined over the states of an FSM representation of the RTL model, and an invariant defined over a set of variables in the HLM and a set of registers in the RTL model. Next, the system can generate a set of invariant proof problems, wherein each invariant proof problem corresponds to a transition between two checkpoints in the set of checkpoints. The system can then determine whether the HLM is equivalent to the RTL model by solving the set of invariant proof problems. | 11-10-2011 |
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 |
20110313195 | METHOD FOR CONTINUOUSLY PRODUCING ALKYLAMINO(METH)ACRYLAMIDES - The invention relates to a process for continuously preparing N-alkyl(meth)acrylamides by reacting alkyl (meth)acrylates with high-boiling amines. A catalyst activation and specific workup technique achieve product qualities which have not been achieved to date. In addition, very high space-time yields and overall yields can be achieved. | 12-22-2011 |
20130172598 | METHOD FOR PRODUCING ETHYLENE GLYCOL DIMETHACRYLATE - The present invention relates to a process for preparing ethylene glycol dimethacrylate, which comprises transesterification of ethylene glycol with an ester of methacrylic acid in the presence of catalysts, wherein a combination comprising lithium amide (LiNH | 07-04-2013 |
20150126777 | PROCESS FOR PREPARATION OF HIGHLY PURE, NON-YELLOWING METHACRYLIC ACID - This invention relates to a process of preparing highly pure, non-yellowing (meth)acrylic acid necessary for high-tech applications requiring long-tem color stability in the presence of amines. Process for the preparation of highly pure, non-yellowing (meth)acrylic acid comprising the steps: f) Condensation of a (meth)acrylic acid-containing gas phase obtained via a gas phase oxidation process of a C4-compound to generate an aqueous (meth)acrylic acid solution g) Separation of the (meth)acrylic acid from the aqueous (meth)acrylic acid solution to obtain crude (meth)acrylic acid h) Rectification of the crude (meth)acrylic acid to obtain pure (meth)acrylic acid via a sidestream outlet of the rectification column i) Treatment of the pure (meth)acrylic acid generated in step c) with an ion exchange resin j) Distillation of the (meth)acrylic acid generated in step d). | 05-07-2015 |