Concepedia

Per Bjesse

PB

10

Publications

709

Citations

10

H-Index

1998

Active since

Affiliations

Synopsys (United States)(Current)

Synopsys (Switzerland)

Xilinx (United States)

Chalmers University of Technology

Per Bjesse is an author at Synopsys (United States) specializing in engineering, formal verification, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationVerificationComputer EngineeringSoftware AnalysisAutomated ReasoningComputer Architecture

Publications per year

1998–2008

10

Publications

10

Lava

Per Bjesse, Koen Claessen, Mary Sheeran et al. · 1998 · 372 citations

Hardware Security, Logic Synthesis, Engineering +14

DAG-aware circuit compression for formal verification

Per Bjesse, Arne Borälv · 2005 · 92 citations

Circuit Complexity, Theoretical Runtime Bound, Engineering +19

Lava

Per Bjesse, Koen Claessen, Mary Sheeran et al. · ACM SIGPLAN Notices · 1998 · 49 citations · Full text

Hardware Security, Logic Synthesis, Engineering +14

What is formal verification?

Per Bjesse · ACM SIGDA Newsletter · 2005 · 41 citations

Engineering, Verification, Software Engineering +18

A proof engine approach to solving combinational design automation problems

Gunnar Andersson, Per Bjesse, Byron Cook et al. · Proceedings - ACM IEEE Design Automation Conference · 2002 · 38 citations

Variable Instantiation, Engineering, Proof Engine Framework +24

Rows per page

1–5 of 10