Concepedia

Raik Brinkmann

RB

3

Publications

192

Citations

3

H-Index

2002

Active since

Affiliations

Siemens (Germany)(Current)

University of Bremen

Raik Brinkmann is an author at Siemens (Germany) specializing in automated reasoning, formal verification, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationComputer EngineeringComputer ArchitectureMathematical Programming

Publications per year

2002–2007

3

Publications

3

RTL-Datapath Verification using Integer Linear Programming

Raik Brinkmann, Rolf Drechsler · Asia and South Pacific Design Automation Conference · 2002 · 105 citations

Mathematical Programming, Engineering, Hardware Verification Language +21

RTL-datapath verification using integer linear programming

Raik Brinkmann, Rolf Drechsler · Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design · 2003 · 68 citations

Mathematical Programming, Engineering, Hardware Verification Language +21

A Normalization Method for Arithmetic Data-Path Verification

Markus Wedler, Dominik Stoffel, Raik Brinkmann et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2007 · 19 citations

Mathematical Programming, Engineering, Hardware Verification Language +19

Rows per page

1–3 of 3