NAUTILE: a safe environment for silicon compilation. - Philippe Bondono; Ahmed Amine Jerraya; Armand Hornik; Bernard Courtois; D. Bonifas (EURO-DAC, 1990)