Supervision : Alain GREINER

Outils de vérification pour circuits VLSI AsGa MESFET par des méthodes d'abstraction fonctionnelle

1997 Publications

• 1997
  • P. Remy : “Outils de vérification pour circuits VLSI AsGa MESFET par des méthodes d’abstraction fonctionnelle”, thesis, defence 12/15/1997, supervision Greiner, Alain (1997)
  • P. Remy, Ph. Royannez, A. Amara : “A GaAs electrical rule checker”, X Simposio Brasileiro de Concepcao de Circuitos Integrados (SBCCI '97), Gramado, Brazil, pp. 1-10 (1997)