Tensilica, Inc.

Cadence Design Systems, Inc.

Marines Puig Medina

Earl A Killian

Dror E Maydan

David W Goodwin

Walter David Lichtenstein

Ricardo E Gonzalez

Albert Ren-Rui Wang

Pavlos Konas

Christopher Mark Songer

Richard Ruddell

Akilesh Parameswar

Rangarajan Srinivasan

Nupur Bhattacharyya

A system for generating processor hardware supports a language for significant extensions to the processor instruction set, where the designer specifies only the semantics of the new instructions and the system generates other logic. The extension language provides for the addition of processor state, including register files, and instructions that operate on that state. The language also provides for new data types to be added to the compiler to represent the state added. It allows separate specification of reference semantics and instruction implementation, and uses this to automate design verification. In addition, the system generates formatted instruction set documentation from the language specification.

Automated processor generation system and method for designing a configurable processor

Automated processor generation system for designing a configurable processor and method for the same

Growing community of inventors

San Jose, CA, United States of America

Marines Puig Medina