L. Hassouni

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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(More)
  • 1