Concepedia

Satrajit Chatterjee

SC

Statistics

Publications

37

Citations

2.3K

H-Index

23

Active since

1995

Affiliations

University of California, Berkeley(Current)

Intel (United States)

SRI International

Carnegie Mellon University

Satrajit Chatterjee is an author at University of California, Berkeley specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringComputer ArchitectureFormal MethodsSystems EngineeringParallel ComputingFormal VerificationAutomated ReasoningHardware Security

Publications per year

1995–2022

37

Publications

37

DAG-aware AIG rewriting a fresh look at combinational logic synthesis

Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton · 2006 · 468 citations

Artificial Intelligence, Applied Logic, Engineering +20

Taxonomy for QoS specifications

Bikash Sabata, Satrajit Chatterjee, Michael B. Davis et al. · 2002 · 161 citations

Provisioning (Technology), Engineering, Quality-of-service +18

Improvements to Technology Mapping for LUT-Based FPGAs

Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2007 · 154 citations

Hardware Security, Cut Enumeration, Engineering +13

Improvements to combinational equivalence checking

Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton et al. · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 2006 · 130 citations

Logic Synthesis, Engineering, Automated Reasoning +15

FRAIGs: A Unifying Representation for Logic Synthesis and Verification

Alan Mishchenko, Satrajit Chatterjee, Roland Jiang et al. · 2005 · 127 citations

1–5 of 37