Markus Winterholer - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 8 from 8

2013

Automatic property generation for formal verification applied to HDL-based design of an on-board computer for space applicationsWesley Silva, Eduardo Bezerra, Markus Winterholer, Djones Lettnin. latw 2013: 1-6 [doi]

2011

Embedded software debug and test: Needs and requirements for innovations in debuggingMarkus Winterholer. date 2011: 721 [doi]

2009

Reuse of a HW/SW coverification environment during the refinement process of a functional C model down to an executable HW/SW specificationMarkus Winterholer, Florian Schäfer. fdl 2009: 1-4 [doi]

2007

Coverage Driven Verification applied to Embedded SoftwareDjones Lettnin, Markus Winterholer, Axel G. Braun, Joachim Gerlach, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel. isvlsi 2007: 159-164 [doi]

2006

Design Structure Analysis and Transaction-based Co-VerificationMarkus Winterholer. fdl 2006: 215-222 [doi]

2004

Object-oriented modeling and synthesis of SystemC specificationsC. Schulz-Key, Markus Winterholer, Thomas Schweizer, Tommy Kuhn, Wolfgang Rosenstiel. aspdac 2004: 238-243 [doi]

2001

Object oriented hardware synthesis and verificationTommy Kuhn, Tobias Oppold, C. Schulz-Key, Markus Winterholer, Wolfgang Rosenstiel, Mark Edwards, Yaron Kashai. isss 2001: 189-194

A Framework for Object Oriented Hardware Specification, Verification, and SynthesisTommy Kuhn, Tobias Oppold, Markus Winterholer, Wolfgang Rosenstiel, Mark Edwards, Yaron Kashai. dac 2001: 413-418 [doi]

Sign in or sign up to see more results.

runs on WebDSL