Concepedia

F. Mailhot

FM

6

Publications

448

Citations

6

H-Index

1990

Active since

Affiliations

Stanford University(Current)

Integrated Software (United States)

F. Mailhot is an author at Stanford University specializing in computer engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringHardware SystemsComputer ArchitectureVerificationFormal MethodsSoftware DesignAutomated ReasoningFormal Verification

Publications per year

1990–2003

6

Publications

6

The Olympus synthesis system

Giovanni De Micheli, David C. Ku, F. Mailhot et al. · IEEE Design & Test of Computers · 1990 · 149 citations

Engineering, Technology Mapping, Multilevel Synthesis +20

Algorithms for technology mapping based on binary decision diagrams and on Boolean operations

F. Mailhot, Giovanni Micheli · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1993 · 99 citations

Circuit Complexity, Engineering, Boolean Function +24

Technology mapping using Boolean matching and don't care sets

F. Mailhot, Giovanni De Micheli · European Design Automation Conference · 1990 · 79 citations

Engineering, Electronic Design Automation, Verification +23

Technology mapping using Boolean matching and don't care sets

F. Mailhot, Giovanni De Micheli · Proceedings of the European Design Automation Conference, 1990., EDAC. · 2002 · 60 citations

Engineering, Electronic Design Automation, Verification +20

Technology mapping for a two-output RAM-based field programmable gate array

D. Filo, J. Chih-Yuan Yang, F. Mailhot et al. · 1991 · 41 citations

Engineering, Vlsi Design, Fpga Primitives +17

Rows per page

1–5 of 6