Joseph Sifakis
Electronic design automation (EDA) has enabled the integrated circuit industry to sustain exponentially increasing product complexity growth until today, while maintaining consistent product development timeline and costs. We argue that the success of EDA- ...
Ieee-Inst Electrical Electronics Engineers Inc2015
