Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings

Constrained Symbolic Simulation with Mathematica and ACL2

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

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.

*Engineering > Electrical Engineering
*Wolfram Technology > Kernel > Data Structures
*Wolfram Technology > Kernel > Pattern Matching

Symbolic simulation