Publications
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.