Rajesh K. Gupta Books
Formal Methods and Models for System Design
By Rajesh Gupta
The gap between the size of microelectronic design/validation task and our ability to design these in a reasonable time is steadly increasing. We need tools and techniques to bridge this gap. Forma...
Read More