I-Corps: Virtual Device Technologies

研究人员计划进一步研究和开发符号虚拟设备(SVD)和硬件设计为虚拟设备(HD-VD)技术的潜在市场生存能力。SVD和HD-VD都支持在实际设备或其硬件原型可用之前开发和验证设备驱动程序。通过这个项目，研究计划研究正式的假设验证方法，以获取这些技术的潜力和市场准备情况，并缩小学术研究和公众使用之间的差距。SVD和HD-VD技术有可能显著缩短设备及其驱动程序的上市时间，同时提高其质量。它们可以帮助真正实现设备和驱动程序联合开发中的“左移”范例：驱动程序开发很早就开始了，当设备可用时，驱动程序代码基本上已经准备好了。基于这些技术的设计和验证产品预计将影响半导体以及系统和软件产品的设计。

Researchers plan to further investigate and develop the potential market viability of Symbolic Virtual Device (SVD) and Hardware Design as Virtual Device (HD-VD) technologies. Both SVD and HD-VD enable device driver development and validation before real devices or their hardware prototypes become available. Through this project, research plans to study the formal hypothesis-validation approach to access the potential and market readiness of these technologies and to mitigate gaps between academic research and public use. SVD and HD-VD technologies have the potential to significantly reduce the time-to-market of devices and their drivers while improving their quality. They can help truly realize the "shift left" paradigm in the device and driver co-development: driver development starts early and driver code is largely ready when the device becomes available. Design and validation products based on these technologies are expected to influence design of semiconductors as well as systems and software products.