José Monteiro Srinivas Devadas Techniques for the power estimation of sequential logic circuits under user-specified input sequences and programs. 33-38 1995 conf/islped/1995 ISLPD http://doi.acm.org/10.1145/224081.224088 db/conf/islped/islped1995.html#MonteiroD95