Publications

Publications

< back to publications

Introducing digital circuits design and formal verification concurrently

Author(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.