< retour aux publications

Using formal tools to study complex circuits behaviour

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

Doc. Source: Euromicro Symposium on Digital System Design (DSD'02)

Publisher : IEEE

Pages : 180-186

Doi : 10.1109/DSD.2002.1115367

We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. These complete and optimized representations help the designer to understand the accurate behaviour of the circuit. This deep understanding is a prerequisite for any verification or test process. An example is fully presented to illustrate our method. This simple pipelined processor comes from our experience in computer architecture and digital design education.