ICCAD
1997
IEEE
15 years 7 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...