Code Generation and Analysis for the Functional Verification of Microprocessors. - Anoosh Hosseini; Dimitrios Mavroidis; Pavlos Konas (DAC, 1996)

ATLAS I: implementing a single-chip ATM switch with backpressure. - George Kornaros; Dionisios N. Pnevmatikatos; Panagiota Vatsolaki; George Kalokerinos; Chara Xanthaki; Dimitrios Mavroidis; Dimitrios N. Serpanos; Manolis Katevenis (IEEE Micro, 1999)