Abstract: A method for providing a logic synthesis of a pipeline circuit is disclosed. The method includes: providing a circuit design of the pipeline circuit, wherein the circuit design includes a first logic module as a current stage, and based on an operation of the first logic module, generating a first time marked graph (TMG) that corresponds to a plurality of behavioral phases of the first logic module, wherein the first TMG includes a plurality of vertexes and a plurality of edges, wherein each vertex corresponds to one of the plurality of behavioral phases that occur in sequence and each edge is coupled between two respective vertexes thereby corresponding to a transition from one behavioral phase to another subsequently occurring behavioral phase.

Abstract: A method for providing a logic synthesis of a pipeline circuit is disclosed. The method includes: providing a circuit design of the pipeline circuit, wherein the circuit design includes a first logic module as a current stage, and based on an operation of the first logic module, generating a first time marked graph (TMG) that corresponds to a plurality of behavioral phases of the first logic module, wherein the first TMG includes a plurality of vertexes and edges, wherein each vertex corresponds to one of the plurality of behavioral phases that occur in sequence and each edge is coupled between two respective vertexes thereby corresponding to a transition from one behavioral phase to another subsequently occurring behavioral phase.

Abstract: An automatic infusing apparatus includes an infusing container, lifting and lowering device for the container to higher and lower positions, device for feeding ground beans to the container when the latter is at the higher position, and a scraping device for removal of the infused ground beans. A plunger includes a sifter member which is disposed within the container and which has a peripheral portion slidable relative the container, and a stem member. The stem member has an upper section connected to the sifter member and a lower section to extend outwardly and sealingly from the lower end wall of the infusing container. The lower section of the stem member is movable relative the lower end wall of the container to lift the sift member upwardly to a scraped position downwardly to an infused position. A biasing member biases the sifter member to move from the scraped position to the infused position.