Books by Sorin Lerner

The growing complexity of the design process for systems on chip (SOCs) allows the use of more demanding computing languages, with a principle goal being verification at a higher level of abstraction. This book focuses on these high-level verification methods.