Skip to main content

2 Result(s)

within Clifford Wolf Remove this filter

and

  1. Chapter and Conference Paper

    Btor2 , BtorMC and Boolector 3.0

    We describe Btor2, a word-level model checking format for capturing models of hardware and potentially software in a bit-precise manner. This simple, line-based and easy to parse format can be seen as a sorted ex...

    Aina Niemetz, Mathias Preiner, Clifford Wolf, Armin Biere in Computer Aided Verification (2018)

    Download PDF (705 KB) View Chapter

  2. No Access

    Chapter and Conference Paper

    Methodology and Example-Driven Interconnect Synthesis for Designing Heterogeneous Coarse-Grain Reconfigurable Architectures

    Low power consumption or high execution speed is achieved by making an application specific design. However, today’s systems also require flexibility in order to allow running similar or updated applications (...

    Johann Glaser, Clifford Wolf in Models, Methods, and Tools for Complex Chip Design (2014)