Publications

Publications

< retour aux publications

Introducing digital circuits design and formal verification concurrently

Auteur(s) : P. Amblard, F. Lagnier, M. Levy

Doc. Source: European Workshop on Microelectonics Education (EWME'00)

Publisher : Kluwer Academic Publishers

This paper presents a curriculum where formal verification of digital designs is introduced concurrently with the basic techniques.