Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler. Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach. In Daniel Große, Sara Vinco, Hiren Patel, editors, Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2017 [Verona, Italy, September 18-20, 2017]. Volume 530 of Lecture Notes in Electrical Engineering, pages 25-44, Springer, 2017. [doi]
Abstract is missing.