In practice, I suspect most hardware companies don't have sufficient incentive to do this, but they might for some products. Some teams also don't really have a model, preferring to develop their device using FPGAs. (I'm not counting RTL models, which are too expensive to run to use for software testing)
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds