A micro-processor is an important component of most electronic systems. For various reasons, the efforts to develop micro-processors in India have been sporadic and have not delivered a functional, usable micro-processor. Our effort has resulted in the implementation of a complete, usable 32-bit micro-processor which is being implemented as an ASIC in the 180nm fab at SCL Chandigarh. Several challenges had to be overcome in coming to this point. Primarily, the design of the micro-processor was facilitated by the use of design tools that we ourselves had developed. These tools allowed the system to be described algorithmically, as a collection of interacting loops. This collection was then translated by the tools to produce the hardware description of the micro-processor pipeline. Verification and formal proofs of correctness (e.g. deadlock-free behavior) needed considerable effort and attention. Most of the technology used to design the micro-processor has been developed ''in-house''. I will give an overview of the micro-processor as well as the design technologies and the manner in which they were used to execute the design.
Madhav Desai received his BTech degree in Electrical Engineering from IIT Bombay in 1984, and his MS and PhD degrees in Electrical Engineering from University of Illinois, Urbana-Champaign in 1991. He was the Principal Engineer at Digital Equipment Corporation during 1992-96. Since 1996 he has been at IIT Bombay, where he is currently a Professor in the Electrical Engineering department. His interests include circuits and systems.