Symbolic Simulators of Digital Circuits

In this paper, we present a structural and a behavioural symbolic simulators of digital circuits which work at the Register Transfer Level. One of our objectives in developing those simulators is to build basic tools capable to show a "formal proof" of correctness of hardware design. These two simulators allow the simulation of two representations of the same design, a behavioural and structural ones.