The vmips Project

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.

Here are some of the software releases we've found out on the web that appear to be related to VMIPS in some way.

https://github.com/alfikpl/aoR3000
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.
https://github.com/DongZhaoYu/prophet-vmips
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.
http://www.ncic.ac.cn/hpcog/homepage/SandUPSim/
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.
https://github.com/deptofdefense/HAS-Qualifier-Challenges
Hack A Sat 2020's Qualifier Challenges incorporated VMIPS 1.5.1 as the emulator used in the LaunchLink challenge. Check out team Perfect Blue's writeup of the challenge.

Here are some of the papers we've found out on the web that cite VMIPS or use it in some way.

2004

http://infoscience.epfl.ch/record/87075/files/Aguirre2004_1416.pdf
A Standalone GCC-based Machine-Dependent Speed Optimizer for Embedded Applications. Sylvain Aguirre, Vaneet Aggarwal, and Daniel Mlynek. EPFL, 2004.
http://infoscience.epfl.ch/record/87076/files/Aguirre2004_1417.pdf
Static Classification for Dynamic Decisions Using Assembler Instrumentation. Sylvain Aguirre, Harsh Metha, and Daniel Mlynek. EPFL, 2004.
http://infoscience.epfl.ch/record/87078/files/Aggarwal2004_1425.pdf
Software solutions for single instruction issue, in order processors. Vaneet Aggarwal, Department of Electrical Engineering, Indian Institute of Technology, Kanpur, India. July 27, 2004

2005

http://www.cs.xu.edu/uMPS/Documentation/uMPSpaper.pdf
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.

2006

http://ilin.asee.org/Conference2006program/Papers/Wang-P25.pdf
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.
http://www.hicomb.org/papers/HICOMB2006-11.pdf
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.

2007

http://www.wseas.us/e-library/conferences/2007cscc/papers/561-396.pdf
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.
http://www.bioperf.org/TXD07.pdf
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.

2008

http://www.wseas.us/e-library/conferences/2008/naun/cd/17.pdf
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

2011

http://repository.asu.edu/attachments/57211/content/Sharma_asu_0010N_10877.pdf
Design of an Automated Validation Environment For A Radiation Hardened MIPS Microprocessor. Abhishek Sharma. Master's thesis, Arizona State University, December 2011.