WOLFRAM
Products
Wolfram|One
Mathematica
Wolfram|Alpha Notebook Edition
System Modeler
All Products
Consulting & Solutions
Wolfram Consulting
Industry Solutions
Solutions for Education
Learning & Support
Wolfram U Courses
Wolfram Language Resources
Wolfram Community
Support FAQs
Contact Support
Company
About Wolfram
Careers
Events
Educational Programs
All Sites and Resources
Wolfram|Alpha
Wolfram Cloud
Your Account
Your Account
User Portal
Search
Close
Enable JavaScript to interact with content and submit forms on Wolfram websites.
Learn how
For the newest resources, visit
Wolfram Repositories and Archives »
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
Wolfram Technology
>
Kernel
>
Data Structures
Wolfram Technology
>
Kernel
>
Pattern Matching
Keywords
Symbolic simulation
For the newest resources, visit Wolfram Repositories and Archives »
