Abstract: This invention describes genes, metabolic pathways, microbial strains and methods to produce 2,6-dimethyloctane as an advanced biofuel from renewable feedstocks.

Abstract: A technique for verification of a logic design using a liveness-to-safety conversion includes assigning liveness gates for liveness properties of a netlist and assigning a single loop gate to provide a loop signal for the liveness gates. Assertion of the single loop gate is prevented when none of the liveness gates are asserted. A first state of the netlist is sampled and the sampled first state provides an initial state for a first behavioral loop for at least one of the liveness gates following the assertion of the single loop gate. The sampled first state of the first behavioral loop is compared with a later state of the first behavioral loop to determine if the sampled first state is repeated. A liveness violation is returned when the sampled first state is repeated and an associated one of the liveness gates remains asserted for a duration of the first behavioral loop.

Abstract: This invention describes genes, metabolic pathways, microbial strains and methods to produce 2,6-dimethyloctane as an advanced biofuel from renewable feedstocks.

Abstract: A technique for verification of a logic design (embodied in a netlist) using a liveness-to-safety conversion includes assigning liveness gates for liveness properties of the netlist and assigning a single loop gate to provide a loop signal for the liveness gates. Assertion of the single loop gate is prevented when none of the liveness gates are asserted. A first state of the netlist is sampled and the sampled first state provides an initial state for a first behavioral loop for at least one of the liveness gates following the assertion of the single loop gate. The sampled first state of the first behavioral loop is compared with a later state of the first behavioral loop to determine if the sampled first state is repeated. A liveness violation is returned when the sampled first state is repeated and an associated one of the liveness gates remains asserted for a duration of the first behavioral loop.

Abstract: A method, system and computer program product for performing equivalence checking of a circuit design are disclosed. The method includes importing a first design comprising a first register set and a different second design comprising a second register set and importing a mapping between corresponding initial states of the first register set and the second register set. A first random logic and a second random logic, respectively representing an application of a set of initial values to the first register set and the second register set are generated and an equivalence check on a third design synthesized from the first design and the second design with an output set from the first random logic as an initialization of the first register set and with an output set of the second random logic as an initialization of the second register set is performed.

Abstract: Disclosed are nucleic acid and amino acid sequences for acetolactate synthase, acetolactate synthase regulatory regions, ?-tubulin promoter, a promoter from a Thraustochytriales polyketide synthase (PKS) system, and fatty acid desaturase promoter, each from a Thraustochytriales microorganism. Also disclosed are recombinant vectors useful for transformation of Thraustochytriales microorganisms, as well as a method of transformation of Thraustochytriales microorganisms. The recombinant nucleic acid molecules of the present invention can be used for the expression of foreign nucleic acids in a Thraustochytriales microorganism as well as for the deletion, mutation, or inactivation of genes in Thraustochytriales microorganisms.