Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title

Constrained Symbolic Simulation with Mathematica and ACL2
Authors

Ghiath Al Sammane
Organization: TIMA Laboratory
Diana Toma
Organization: TIMA Laboratory
Julien Schmaltz
Organization: TIMA Laboratory
Pierre Ostier
Organization: TIMA Laboratory
Dominique Borrione
Organization: TIMA Laboratory
Journal / Anthology

Correct Hardware Design and Verification Methods
Year: 2003
Volume: 2860
Page range: 150-157
Description

We use symbolic simulation for the verification of high level circuit specifications. We combine Mathematica for algebraic computation and ACL2 for branching decision to increase the efficiency of the method.
Subjects

*Engineering > Electrical Engineering
*Mathematica Technology > Kernel > Data Structures
*Mathematica Technology > Kernel > Pattern Matching
Keywords

Symbolic simulation