Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits

Proceedings of the 34th Design Automation Conference ◽

10.1109/dac.1997.597241 ◽

2005 ◽

Cited By ~ 25

Author(s):

G. Cabodi ◽

P. Camurati ◽

L. Lavagno ◽

S. Quer

Download Full-text