The HSSM macro-architecture, Virtual Machine and H languages

ABSTRACT

This paper is an introduction to the Hierarchical Simultaneous Set Membership (HSSM) macro-architecture project, the associated HSSM Virtual Machine (HVM) and "H" languages. The ultimate goal of this project is the automated synthesis and verification of large multithreaded software applications.

REFERENCES

• 1: Arvind , David E. Culler, Dataflow architectures, Annual review of computer science vol. 1, 1986, Annual Reviews Inc., Palo Alto, CA, 1986
• 2: Jacques Chassin de Kergommeaux , Philippe Codognet, Parallel logic programming systems, ACM Computing Surveys (CSUR), v.26 n.3, p.295-336, Sept. 1994 [doi>10.1145/185403.185453]
• 3: K. Fuchi, "Revisiting Original Philosophy of Fifth Generation Computer Systems Project", In Proc. of the Int. Conf. on Fifth Generation Computer Systems 1984, Tokyo, Japan. Nov. 1984.
• 4: Gary D. Hachtel , Fabio Somenzi, Logic Synthesis and Verification Algorithms, Kluwer Academic Publishers, Norwell, MA, 2000
• 5: P. Koopman, Stack Architectures, Ellis Horwood Limited, Chichester, West Sussex, England, 1989.
• 6: P. D. Wells, "The HSSM Manual", Ver. 0.0, http://home.worldnet.att.net/~hssm_manual/hssm_manual.pdf, Oct. 29, 2001.
• 7: M. Johnson, Superscalar Microprocessor Design, P T R Prentice Hall, Englewood Cliffs, New Jersey, 1991.
• 8: Lance Hammond , Basem A. Nayfeh , Kunle Olukotun, A Single-Chip Multiprocessor, Computer, v.30 n.9, p.79-85, September 1997 [doi>10.1109/2.612253]
• 9: Dean M. Tullsen , Susan J. Eggers , Henry M. Levy, Simultaneous multithreading: maximizing on-chip parallelism, Proceedings of the 22nd annual international symposium on Computer architecture, p.392-403, June 22-24, 1995, S. Margherita Ligure, Italy