Reducing power with activity trigger analysis - Jan Láník; Julien Legriel; Erwan Piriou; Emmanuel Viaud; Fahim Rahim; Oded Maler; Solaiman Rahim (13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, 2015)

A fast and accurate methodology for power estimation and reduction of programmable architectures - Erwan Piriou; Raphaël David; Fahim Rahim; Solaiman Rahim (Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013, 2013)

A Flip-Flop Matching Engine to Verify Sequential Optimizations - Solaiman Rahim; Bruno Rouzeyre; Lionel Torres (Comput. Artif. Intell., 2004)

Matching in the presence of don't cares and redundant sequential elements for sequential equivalence checking - Solaiman Rahim; Bruno Rouzeyre; Lionel Torres; Jérôme Rampon (Eighth IEEE International High-Level Design Validation and Test Workshop 2003, San Francisco, CA, USA, November 12-14, 2003, 2003)