Automatic generation of microarchitecture simulators

This publication has 5 references indexed in Scilit:

• A functional specification language for instruction set architectures
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Specifying representations of machine instructions
  ACM Transactions on Programming Languages and Systems, 1997
• A formal model and specification language for procedure calling conventions
  Published by Association for Computing Machinery (ACM) ,1995
• The Verilog® Hardware Description Language
  Published by Springer Nature ,1991
• An Efficient Algorithm for Exploiting Multiple Arithmetic Units
  IBM Journal of Research and Development, 1967