dblp.uni-trier.dewww.uni-trier.de

Raik Brinkmann

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
2EEMarkus Wedler, Dominik Stoffel, Raik Brinkmann, Wolfgang Kunz: A Normalization Method for Arithmetic Data-Path Verification. IEEE Trans. on CAD of Integrated Circuits and Systems 26(11): 1909-1922 (2007)
2002
1EERaik Brinkmann, Rolf Drechsler: RTL-Datapath Verification using Integer Linear Programming. VLSI Design 2002: 741-746

Coauthor Index

1Rolf Drechsler [1]
2Wolfgang Kunz [2]
3Dominik Stoffel [2]
4Markus Wedler [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)