A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one parametric representation to another smaller representation, in a process called reparameterization. For large circuits, the...
| Główni autorzy: | , , |
|---|---|
| Kolejni autorzy: | |
| Format: | Conference item |
| Wydane: |
IEEE
2004
|