Abstract: Embodiments relate to a system for translating design specifications of an electronic circuit. In one embodiment, the design specification is parsed to identify one or more sentences. From the one or more identified sentences, the system extracts semantic concepts. Additionally, for each sentence of the one or more identified sentences, the system determines whether the sentence is translatable. If a target sentence is translatable, the system generates a parse tree for the target sentence, and generates a probabilistic shift-reduce schedule for the generated parse tree. Using the generated probabilistic shift-reduce schedule and optionally the generated parse tree, the system generates code for verifying the condition specified in the target sentence. In some embodiments, to generate the code, the system parses the target sentence using the generated probabilistic shift-reduce schedule.

Abstract: A fuel cell device includes at least one fuel cell column containing first and second fuel cell stacks, a fuel manifold located between the first and second fuel cell stacks and configured to provide fuel to the first and second fuel cell stacks, and a dielectric material located to electrically isolate the first and second fuel cell stacks from the fuel manifold.

Abstract: A fuel cell device includes at least one fuel cell column containing first and second fuel cell stacks, a fuel manifold located between the first and second fuel cell stacks and configured to provide fuel to the first and second fuel cell stacks, and a dielectric material located to electrically isolate the first and second fuel cell stacks from the fuel manifold.