scispace - formally typeset
M

Massoud Pedram

Researcher at University of Southern California

Publications -  812
Citations -  25236

Massoud Pedram is an academic researcher from University of Southern California. The author has contributed to research in topics: Energy consumption & CMOS. The author has an hindex of 77, co-authored 780 publications receiving 23047 citations. Previous affiliations of Massoud Pedram include University of California, Berkeley & Syracuse University.

Papers
More filters
Journal ArticleDOI

AMR-MUL: An Approximate Maximally Redundant Signed Digit Multiplier

TL;DR: This paper presents an energy-efficient, yet high-speed approximate maximally redundant signed digit (MRSD) multiplier (called AMR-MUL) based on a parallel structure, and suggests several approximate Full-Adder reduction cells with average positive and negative errors obtained by simplifying the structure of an exact FA cell.
Proceedings ArticleDOI

A Probability Theory Based Price Determination Framework for Utility Companies in an Oligopolistic Energy Market

TL;DR: In this paper, an optimization framework is introduced to determine the energy price for utility companies in an oligopolistic energy market, where each utility company will announce the time-of-use dependent pricing policy during the billing period, and each energy consumer will subsequently choose a utility company for energy supply to minimize the expected energy cost.
Proceedings ArticleDOI

Reducing the Maximum Length of Connections in Single Flux Quantum Circuits During Routing

TL;DR: An innovative post-routing optimization framework is developed in which the longest wire is ripped and re-routed by resorting to a maze routing algorithm after the acquisition of wire density distribution using a machine learning method.
Book ChapterDOI

Combinational circuit optimization

TL;DR: Low power VLSI design can be achieved at various levels of the design abstraction from algorithmic and system levels down to layout and circuit levels, but power has to be considered during logic synthesis and optimization.
Journal ArticleDOI

Formal Verification of Sequential Circuits in Superconducting Single Flux Quantum Technologies

TL;DR: In this article , an equivalence checking framework targeting sequential circuits mapped to rapid superconducting single-fluxquantum (RSFQ) logic circuits is presented. But it faces challenges in emerging technologies due to differences between its logic models and those of the standard complementary metal oxide semiconductor (CMOS).