ATLAS : advanced tools and languages for microprocessor architecture simulation - Basch, Danko (Array, 1993)