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…