Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach

@inbook{pub10145,
    author = {

Herdt, Vladimir
 and 

Große, Daniel
 and 

Le, Hoang M.
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    editor = {

Große, Daniel
 and 

Vinco, Sara
 and 

Patel, Hiren
},
    title = {Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach},
    booktitle = {Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017},
    year = {2019},
    publisher = {Springer}
}