Efficient equivalence checking with partitions and hierarchical cut-points
- Resource Type
- Conference
- Source
- Proceedings. 41st Design Automation Conference, 2004. Design Automation Conference, 2004. Proceedings. 41st. :539-542 2004
- Subject
Computing and Processing Communication, Networking and Broadcast Technologies Components, Circuits, Devices and Systems Impedance matching Permission Tellurium Pins Logic design - Language
- ISSN
- 0738-100X