Cray Incorporated

Cray Research, Inc.

Robert J Lutz

Eric Carl Fromm

Mark S Birrittella

Mark Ronald Sikkink

Richard B Salmonson

Max C Logan

Richard G Finstad

Harro Zimmermann

Robert J Greener

A method includes specifying a first set of interconnected devices associated with a first leaf cell in Verilog syntax, and specifying a second set of interconnected devices associated with a second leaf cell in Verilog syntax. A connection between the first leaf cell and the second leaf cell is also specified in Verilog syntax. This specifies a circuit. The functionality of the logic can be tested by running a logic simulation on the circuit without converting to Verilog syntax. The Verilog syntax, associated with the circuit, can be converted directly from Verilog syntax to a SPICE netlist. The SPICE netlist can be used to simulate the timing and other parameters of the circuit. The Verilog syntax can be used to verify the circuit. Also included are a computer readable medium including an instruction set for the above method, and a data structure necessary to carry out the above method.

Transistor level verilog

A method of instantiating a leaf cell having various connections and designed to be called using a fixed syntax includes defining a template syntax different from the fixed syntax, setting default values for connections not designated by the template syntax, and mapping the template syntax to a hardware design language. The description of the leaf cell has values for the designated connections and non-designated connections. The non-designated connections have the default values. Another method includes instantiating a leaf cell using a first template syntax or a second template syntax. The second template syntax instantiates the same leaf cell as the first template syntax or the fixed syntax. In addition, more than one leaf cell, also known as a branch, can be instantiated using the template syntax. Articles of manufacture that include a computer readable media having instructions thereon for causing a suitably programmed system to execute one or more of the above methods of instantiating a leaf cell or leaf cells are also discussed.

Boolean gate definition

A method and apparatus for adjusting power supplied to a device when the device has a first and a second power input. A first voltage level and a ground potential are provided and a second voltage level is created as a function of the first voltage level. The second voltage level is then buffered with a power transistor and, if the second voltage level is needed for a particular device, the buffered second voltage level is selectively applied to the device. The circuit is disabled when the second voltage supply is not needed.

Method and apparatus for adjusting the power supply voltage provided to

Growing community of inventors

Chippewa Falls, WI, United States of America

Robert J Lutz