Solaiman Rahim

According to our database, Solaiman Rahim authored at least 4 papers between 2003 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Reducing power with activity trigger analysis.

Jan Láník, Julien Legriel, Erwan Piriou, Emmanuel Viaud, Fahim Rahim, Oded Maler, Solaiman Rahim

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

2013

A fast and accurate methodology for power estimation and reduction of programmable architectures.

Erwan Piriou, Raphaël David, Fahim Rahim, Solaiman Rahim

Proceedings of the Design, Automation and Test in Europe, 2013

2004

A Flip-Flop Matching Engine to Verify Sequential Optimizations.

Solaiman Rahim, Bruno Rouzeyre, Lionel Torres

Comput. Artif. Intell., 2004

2003

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

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003