In his master thesis, Vladimir Herdt presents a novel approach, called complete symbolic simulation, for a more efficient verification of much larger (non-termi

In this dissertation, we present a systematic, comprehensive, and formally founded quality assurance process, which allows automated co-verification of digital

This book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize au

This book provides the theory and some examples of rule based reasoning applied to computer design. The presentation begins with design methods. These include b