1. Cadence
$$^{\textregistered }$$
®
(2016) Cadence Incisive
$$^{\textregistered }$$
®
Enterprise simulator. Product website.
https://www.cadence.com/content/cadence-www/global/en_US/home/tools/system-design-and-verification/simulation-and-testbench-verification/incisive-enterprise-simulator.html
2. Synopsys (2016) Synopsys virtualizer. Product website.
http://www.synopsys.com/Prototyping/VirtualPrototyping/Pages/virtualizer.aspx
3. ARM (2016) ARM cpu fast models. Product website.
http://www.arm.com/products/tools/models/fast-models.php
4. Cadence
$$^{\textregistered }$$
®
(2016) Cadence Palladium
$$^{\textregistered }$$
®
Z1 emulator. Product website.
https://www.cadence.com/content/cadence-www/global/en_US/home/tools/system-design-and-verification/acceleration-and-emulation/palladium-z1.html
5. Vayavya Labs (2016) Vayavya device driver generator. Product website.
http://vayavyalabs.com/technology/ddgen/