scispace - formally typeset
J

José Monteiro

Researcher at Instituto Superior Técnico

Publications -  137
Citations -  2665

José Monteiro is an academic researcher from Instituto Superior Técnico. The author has contributed to research in topics: Sequential logic & Multiplication. The author has an hindex of 26, co-authored 135 publications receiving 2555 citations. Previous affiliations of José Monteiro include University of Lisbon & Technical University of Lisbon.

Papers
More filters
Proceedings ArticleDOI

Short-circuit Analysis using a Parallel QBF Solver

TL;DR: An efficient method, based on a Quantified Boolean Formula (QBF) model, is described, that solves the analysis of input conditions that may cause a short-circuit in a logic circuit in an incremental way and a parallel implementation is proposed for multi-core shared-memory machines.
Proceedings ArticleDOI

A Novel Method for the Approximation of Multiplierless Constant Matrix Vector Multiplication

TL;DR: AURA aims to tune the constants such that the resulting matrix leads to a CMVM design which requires the fewest adders/subtractors, satisfying the given error constraints, and consequently, lead to CMVM designs with less area, delay, and power dissipation.
Book ChapterDOI

High-Level Power Estimation and Optimization

TL;DR: The methods of Chapter 7 are limited by the predefined logical structure of the circuit, and logic level descriptions are too detailed to allow optimization methods to be applied to large designs.
Proceedings ArticleDOI

Towards the least complex time-multiplexed constant multiplication

TL;DR: This paper introduces ARION, that exploits the most common partial terms in the TMCM design on top of the previously proposed DAGfusion algorithm, which merges the single constant multiplication graphs.
Journal ArticleDOI

Analysis of the conditions for the worst case switching activity in integrated circuits

TL;DR: This paper proposes a method for determining the exact conditions for worst case switching activity in a small circuit area during a short time interval and shows how this method can be combined with partitioning to allow for accurate full circuit verification.