What’s Missing in Agile Hardware Design? Verification!

Babak Falsafi

doi:10.1007/s11390-023-0005-3

PDF
Cite
Share

twitter

facebook

linkedin

WeChat

WeChat

Volume 38 Issue 4

July 2023

Turn off MathJax

Article Contents

Supplements

Journal of Computer Science and Technology > 2023 > 38(4): 735-736. > DOI: 10.1007/s11390-023-0005-3

Falsafi B. What’s missing in agile hardware design? Verification! JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 38(4): 735−736 July 2023. DOI: 10.1007/s11390-023-0005-3.

Citation:

Falsafi B. What’s missing in agile hardware design? Verification! JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 38(4): 735−736 July 2023. DOI: 10.1007/s11390-023-0005-3.

Citation:

Falsafi B. What’s missing in agile hardware design? Verification! JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 38(4): 735−736 July 2023. DOI: 10.1007/s11390-023-0005-3.

PDF

Read Online

What’s Missing in Agile Hardware Design? Verification!

Babak Falsafi (FalsafiBabak) Fellow, ACM, IEEE

Parallel Systems Architecture Laboratory, Institute of Computer and Communication Sciences, School of Computer and Communication Sciences, Ecole Polytechnique Fédérale de Lausanne, Lausanne, CH-1015, Switzerland

More Information

Author Bio:
Babak Falsafi is a professor in the School of Computer and Communication Sciences and the founder of EcoCloud, an industrial/academic consortium at EPFL investigating scalable sustainable information technology. He has made numerous contributions to computer system design and evaluation including a scalable multiprocessor architecture which was prototyped by Sun Microsystems (now Oracle), snoop filters incorporated into multi-socket x86 servers and IBM BlueGene supercomputers, spatial and temporal memory streaming that appear in ARM cores, and computer system performance evaluation methodologies that have been in use by AMD, HP and Google PerfKit. He has shown that hardware memory consistency models are neither necessary (in the 90’s) nor sufficient (a decade later) to achieve high performance in servers. These results eventually led to fence speculation in modern CPUs. His work on cloud-native CPUs laid the foundation for the first generation of Cavium ARM server CPUs, ThunderX. He is a recipient of an NSF CAREER Award, IBM Faculty Partnership Awards, and an Alfred P. Sloan Research Fellowship. He is a fellow of ACM and IEEE