Pre-silicon Verification of an Automotive Battery Management System in the Context of the Application

Sebastian Simon, Jérôme Kirscher, Alexander W. Rath, Zhiqiang Zhang, Linus Maurer. Pre-silicon Verification of an Automotive Battery Management System in the Context of the Application. In Daniel Große, Rolf Drechsler, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017. pages 91-102, Shaker Verlag, 2017.

Abstract

Abstract is missing.