Title :
Symbolic Simulators of Digital Circuits
Author :
Giambiasi, N. ; Hassouni, L. ; Piana, G. ; Saumont, S.
Author_Institution :
Faculté des sciences et techniques de Saint Jérome / LAIM, Rue Henri Poincaré - 13397 Marseille Cedex 13, Telephone 91 98 22 30
Abstract :
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.
Keywords :
Circuit simulation; Circuit synthesis; Computational modeling; Computer simulation; Digital circuits; Hardware; Optical propagation; Process design; Registers; Telephony;
Conference_Titel :
Solid-State Circuits Conference, 1986. ESSCIRC '86. Twelfth European
Conference_Location :
Delft, The Netherlands
