People Using VMIPS
If you are doing work that uses VMIPS, we'd love to hear about it. Send us an email at vmips at dgate.org.
Released Software that uses VMIPS
Here are some of the software releases we've found out on the web that appear to be related to VMIPS in some way.
Aleksandr Osman is distributing the aoR3000, a MIPS R3000A compatible core capable of booting the Linux kernel, modeled in Verilog, which was verified against VMIPS 1.4.1.
ZhaoYu Dong is distributing prophet-vmips, a simulator that appears to be based on VMIPS 1.3.2. It was used to develop a speculative execution model for the paper "Prophet: A Speculative Multi-threading Execution Model with Architectural Support Based on CMP" which appeared in the Proceedings of the 2009 International Conference on Scalable Computing and Communications and Eighth International Conference on Embedded Computing.
Mingyu CHEN and others at Institute of Computing Technology (ICT), China Academy of Sciences, are distributing SandUPSim, which contains a MIPS processor simulation that appears to be based on VMIPS 1.1.2.
Papers that cite VMIPS
Here are some of the papers we've found out on the web that cite VMIPS or use it in some way.
A Standalone GCC-based Machine-Dependent Speed Optimizer for Embedded Applications. Sylvain Aguirre, Vaneet Aggarwal, and Daniel Mlynek. EPFL, 2004.
Static Classification for Dynamic Decisions Using Assembler Instrumentation. Sylvain Aguirre, Harsh Metha, and Daniel Mlynek. EPFL, 2004.
Software solutions for single instruction issue, in order processors. Vaneet Aggarwal, Department of Electrical Engineering, Indian Institute of Technology, Kanpur, India. July 27, 2004
The Kaya OS project and the uMPS Hardware Simulator. Michael Goldweber, Renzo Davoli, and Mauro Morsiani. In Proceedings of the 10th annual ACM SIGCSE conference on Innovation and technology in computer science education (ITiCSE '05), pages 49-53.
Teaching computer architecture through design practice. Guoping Wang, Indiana University Purdue University Fort Wayne, Indiana. In proceedings of American Society for Engineering Education 2006 Illinois-Indiana and North Central Joint Section Conference. March 31-April 1, 2006.
An Experimental Study of Optimizing Bioinformatics Applications. Guangming Tan, Lin Xu, Shengzhong Feng, Ninghui Sun, Chinese Academy of Sciences. In proceedings of Fifth IEEE International Workshop on High Performance Computational Biology (HiCOMB 2006), Rhodes Island, Greece, April 25, 2006.
INTEG: A Stochastic Testing System for Microprocessor Verification. I. V. Gribkov, A. V. Zakharov, P. P. Koltsov, N. V. Kotovich, A. A. Kravchenko, A. S. Koutsaev, A. S. Osipov, and I. S. Khisambeev. Scientific Research Institute for System Studies, Russian Academy of Sciences, Moscow, Russia. In Proceedings of the 11th WSEAS International Conference on CIRCUITS, Agios Nikolaos, Crete Island, Greece, July 23-25, 2007.
A Study of Architectural Optimization Methods in Bioinformatics Applications. G. Tan, L. Xu, Z. Dai, S. Feng and N. Sun, Chinese Academy of Sciences. In International Journal of High Performance Computing Applications, fall 2007; Vol. 21; no. 3, pp371-384.
On one approach to random testing of MIPS microprocessors. Igor Gribkov, Alexey Zakharov, Petr Koltsov, Nikolay Kotovich, Alexander Kravchenko, Alexander Koutsaev, Andrey Osipov, Ildar Khisambeev. Scientific Research Institute for System Studies, Russian Academy of Sciences, Moscow, Russia. In Selected Papers from Communications & Information Technology 2008, Circuits, Systems and Signals 2008, Applied Mathematics, Simulation, Modelling 2008, Marathon Beach, Attica, Greece, June 1-3, 2008
Design of an Automated Validation Environment For A Radiation Hardened MIPS Microprocessor. Abhishek Sharma. Master's thesis, Arizona State University, December 2011.