Pramod G. Joisha - Evanston IL, US Prithviraj Banerjee - Glenview IL, US Nagaraj Shenoy - Karnataka, IN
Assignee:
Northwestern University - Evanston IL
International Classification:
G06F 9/45
US Classification:
717137, 717141, 717136, 717140
Abstract:
A method for inferring the shape and dimension of arrays for high-level, array-based languages such as MATLAB is presented. The method uses the algebraic properties that underlie MATLAB's shape semantics and infers the shape that the program expression assumes. In one embodiment, a shape-tuple of the result of a program expression is inferred by creating a shape-tuple expression comprising the shape-tuples of the operands and the shape-tuple operator.
System For Architecture And Resource Specification And Methods To Compile The Specification Onto Hardware
Anshuman Nayak - Schaumburg IL, US Malay Haldar - Schaumburg IL, US Alok Choudhary - Chicago IL, US Vikram Saxena - Schaumburg IL, US Prithviraj Banerjee - Glenview IL, US
Electronic design automation tool specifies an architecture at a system level and its component (which include intellectual property (IP) cores like embedded processors, arithmetic logic units (ALU), multipliers, dividers, embedded memory element, programmable logic cells, etc. ); specifies IP-cores and their interface; and understands IP-cores and functions via their interface. Further, techniques are provided for modeling the timing behavior of a function or functional block without drawing a timing diagram; understanding the interface behavior of a function block which captures the timing waveforms; specifying virtual functions which are built using basic functional units and their timing behavior; parsing and creating an internal graphical form for analyzing a specification for compilation; matching the components in the architecture specification and their instantiation to map the computations in the input graph produced from an application; and mapping the specification onto the target's components.
System And Methods For Distributed Telecommunication Applications For The Public Switched Telephone Network And The Public Land Mobile Network
Rajan Zambre - Westford MA, US Mahesh Danke - Chelmsford MA, US Prithviraj Banerjee - North Chelmsford MA, US
International Classification:
H04M007/00
US Classification:
379/229000, 379/221080
Abstract:
The functions of a Signaling System 7 (SS7) network node are divided among multiple nodes of an Internet Protocol (IP) network. An “A” node includes an SS7 application component, and a “P” node includes an SS7 transport component connected to the SS7 network. Each node also includes an IP transport component and an adapter for translating messages between IP and SS7 protocols. The A nodes and P nodes inter-operate via the IP network in a manner invisible to the SS7 network and the SS7 application component. Each adapter requests a connection to a counterpart adapter from a connectivity manager for each transaction. The connectivity manager, which may be centralized or distributed in the IP network, allocates adapters to transactions and informs requesting adapters of the allocations. For load sharing, the connectivity manager weights the adapters by their transaction processing capacities and allocates adapters in proportion to their respective weights.
Method And Apparatus For Automatically Generating Hardware From Algorithms Described In Matlab
Prithviraj Banerjee - Glenview IL, US Alok Choudhary - Chicago IL, US Malay Haldar - Evanston IL, US Anshuman Nayak - Evanston IL, US
Assignee:
NORTHWESTERN UNIVERSITY
International Classification:
G06F009/45
US Classification:
717/152000, 717/150000, 717/159000
Abstract:
Digital circuit is synthesized from algorithm described in the MATLAB programming language. A MATLAB program is compiled into RTL-VHDL, which is synthesizable using system-specific tools to develop ASIC or FPGA configuration. Intermediate transformations and optimizations are performed to obtain highly optimized description in RTL-VHDL or RTL Verilog of given MATLAB program. Optimizations include levelization, scalarization, pipelining, type-shape analysis, memory optimizations, precision analysis and scheduling.