Nazanin Mansouri

According to our database, Nazanin Mansouri authored at least 20 papers between 1998 and 2009.

Collaborative distances:

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

2009

Power Optimization With Power Islands Synthesis.

Deniz Dal, Nazanin Mansouri

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

2008

Determining the Optimal Number of Islands in Power Islands Synthesis.

Deniz Dal, Nazanin Mansouri

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2008

Automated formal verification of scheduling with speculative code motions.

Youngsik Kim, Nazanin Mansouri

Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

2007

A high-level register optimization technique for minimizing leakage and dynamic power.

Deniz Dal, Nazanin Mansouri

Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

2006

Power Islands: A High-Level Technique for Counteracting Leakage in Deep Sub-Micron.

Deniz Dal, Adrian Nunez, Nazanin Mansouri

Proceedings of the 7th International Symposium on Quality of Electronic Design (ISQED 2006), 2006

An ILP Formulation for Task Scheduling on Heterogeneous Chip Multiprocessors.

Suleyman Tosun, Nazanin Mansouri, Mahmut T. Kandemir, Ozcan Ozturk

Proceedings of the Computer and Information Sciences, 2006

Pre-Layout Estimation of Interconnect Lengths for Digital Integrated Circuits.

Shweta Shah, Nazanin Mansouri, Adrián Núñez-Aldana

Proceedings of the 16th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2006), 27 February 2005, 2006

2005

Constraint-based Code mapping for heterogeneous Chip multiprocessors.

Suleyman Tosun, Nazanin Mansouri, Mahmut T. Kandemir, Özcan Özturk

Proceedings of the Proceedings 2005 IEEE International SOC Conference, 2005

An ILP Formulation for Reliability-Oriented High-Level Synthesis.

Suleyman Tosun, Ozcan Ozturk, Nazanin Mansouri, Ercument Arvas, Mahmut T. Kandemir, Yuan Xie, Wei-Lun Hung

Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005

Reliability-Centric Hardware/Software Co-Design.

Suleyman Tosun, Nazanin Mansouri, Ercument Arvas, Mahmut T. Kandemir, Yuan Xie, Wei-Lun Hung

Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005

Exploiting PSL standard assertions in a theorem-proving-based verification environment.

Youngsik Kim, Parija Sule, Nazanin Mansouri

Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, 2005

Reliability-Centric High-Level Synthesis.

Suleyman Tosun, Nazanin Mansouri, Ercument Arvas, Mahmut T. Kandemir, Yuan Xie

Proceedings of the 2005 Design, 2005

2004

Automated Formal Verification of Scheduling Process Using Finite State Machines with Datapath (FSMD).

Youngsik Kim, Shekhar Kopuri, Nazanin Mansouri

Proceedings of the 5th International Symposium on Quality of Electronic Design (ISQED 2004), 2004

Enhancing scheduling solutions through ant colony optimization.

Shekhar Kopuri, Nazanin Mansouri

Proceedings of the 2004 International Symposium on Circuits and Systems, 2004

Exploiting OVL standard assertions in a theorem-proving-based verification environment.

Anli He, Parija Sule, Youngsik Kim, Nazanin Mansouri

Proceedings of the Second IASTED International Conference on Circuits, 2004

2003

Derving Intermediary RTLs for Verification of Pipelined Synthesized Designs.

Suleyman Tosun, Hakduran Koc, Nazanin Mansouri

Proceedings of the International Conference on VLSI, 2003

2000

Automated Correctness Condition Generation for Formal Verification of Synthesized RTL Designs.

Nazanin Mansouri, Ranga Vemuri

Formal Methods Syst. Des., 2000

1999

Accounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL Designs.

Nazanin Mansouri, Ranga Vemuri

Proceedings of the 1999 Design, 1999

1998

Automatic data path abstraction for verification of large scale designs.

Viresh Paruthi, Nazanin Mansouri, Ranga Vemuri

Proceedings of the International Conference on Computer Design: VLSI in Computers and Processors, 1998

A Methodology for Automated Verification of Synthesized RTL Designs and Its Integration with a High-Level Synthesis Tool.

Nazanin Mansouri, Ranga Vemuri

Proceedings of the Formal Methods in Computer-Aided Design, 1998