Automatic diagnosis of simple design errorsUbar, Raimund-Johannes; Borrione, DominiqueTechniques of Informatics and Microelectronics for Computer Architecture1999 / p. 91

Methods for improving the simulation performanceMermet, J.; Morawiec, A.; Ubar, Raimund-JohannesTechniques of Informatics and Microelectronics for Computer Architecture1999 / p. 91-94