ICCAD
1997
IEEE
13 years 9 months ago
1997
IEEE
We propose an algorithm for area optimisation of sequential circuits through redundancy removal. The algorithm finds compatible redundancies by implying values over nets in the c...