Arne Borälv is an author at Prover Technology (Sweden) specializing in formal methods, hardware security, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisHardware SecurityCircuit ComplexityFormal VerificationSystems EngineeringComputer Engineering
Publications per year
1998–2005
2
2
DAG-aware circuit compression for formal verification
Per Bjesse, Arne Borälv · 2005 · 92 citations
Circuit Complexity, Theoretical Runtime Bound, Engineering +19
Rows per page
1–2 of 2