Describing instruction set processors using nML
Andreas Fauth, Johan Van Praet, Markus Freericks[doi] [Google Scholar] [DBLP] [Citeseer]
Proceedings European Design and Test Conference, 1995. ED&TC 1995
IEEE
Pages 503-507
1995
Note(s): ISA specification, formal specification, microarchitecture
IEEE
Pages 503-507
1995
Note(s): ISA specification, formal specification, microarchitecture