 |
|
|
|
|
 |
|
|
Constrained Symbolic Simulation with Mathematica and ACL2
|
|
|
|
|
|
| Organization: | TIMA Laboratory |
| Organization: | TIMA Laboratory |
| Organization: | TIMA Laboratory |
| Organization: | TIMA Laboratory |
| Organization: | TIMA Laboratory |
|
|
|
|
|
|
| Correct Hardware Design and Verification Methods |
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
Symbolic simulation
|
|
