Rajesh 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
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