Using SAT-Based Craig Interpolation to Enlarge Clock Gating Functions.
Saved in:
| Title: | Using SAT-Based Craig Interpolation to Enlarge Clock Gating Functions. |
|---|---|
| Authors: | Ting-Hao Lin1, Chung-Yang Huang1 |
| Source: | DAC: Annual ACM/IEEE Design Automation Conference; Jun2011, p621-626, 6p, 6 Diagrams, 2 Charts, 1 Graph |
| Database: | Applied Science & Technology Source |
| ISSN: | 0738100X |
|---|
