Concepedia

Henri Fraisse

HF

Statistics

Publications

7

Citations

154

H-Index

7

Active since

1993

Affiliations

Xilinx (United States)(Current)

Henri Fraisse is an author at Xilinx (United States) specializing in computer science, computer engineering, and engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringParallel ComputingComputer ArchitectureFormal MethodsHardware SecurityParallel ProgrammingSoftware EngineeringProgram Analysis

Publications per year

1993–2020

7

Publications

7

A new viewpoint on two-level logic minimization

Olivier Coudert, Jean Christophe Madre, Henri Fraisse · 1993 · 54 citations

Mathematical Programming, Circuit Complexity, Computational Complexity Theory +17

A Domain-Specific Architecture for Accelerating Sparse Matrix Vector Multiplication on FPGAs

Abhishek Kumar Jain, Hossein Omidian, Henri Fraisse et al. · 2020 · 35 citations

Array Computing, Engineering, Hardware Acceleration +14

Boolean Satisfiability-Based Routing and Its Application to Xilinx UltraScale Clock Network

Henri Fraisse, Abhishek Joshi, Dinesh Gaitonde et al. · 2016 · 17 citations

Engineering, Computer Architecture, Formal Verification +17

Implicit Prime Cover Computation: An Overview

Olivier Coudert, Jean Christophe Madre, Henri Fraisse et al. · 2011 · 15 citations

Application of a new logically complete ATMS to digraph and network-connectivity analysis

J.C. Madre, Olivier Coudert, Henri Fraisse et al. · 2002 · 12 citations

Complete Atms, Directed Graph, Engineering +26

1–5 of 7