Clifford Wolf

According to our database, Clifford Wolf authored at least 6 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Yosys+nextpnr: An Open Source Framework from Verilog to Bitstream for Commercial FPGAs.

David Shah, Eddie Hung, Clifford Wolf, Serge Bazanski, Dan Gisselquist, Miodrag Milanovic

Proceedings of the 27th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2019

2018

Btor2 , BtorMC and Boolector 3.0.

Aina Niemetz, Mathias Preiner, Clifford Wolf, Armin Biere

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Toggle MUX: How X-Optimism Can Lead to Malicious Hardware.

Christian Krieg, Clifford Wolf, Axel Jantsch, Tanja Zseby

Proceedings of the 54th Annual Design Automation Conference, 2017

2016

Malicious LUT: a stealthy FPGA trojan injected and triggered by the design flow.

Christian Krieg, Clifford Wolf, Axel Jantsch

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

2012

Example-driven interconnect synthesis for heterogeneous coarse-grain reconfigurable logic.

Clifford Wolf, Johann Glaser, Florian Schupfer, Jan Haase, Christoph Grimm

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

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

Johann Glaser, Clifford Wolf

Proceedings of the Models, Methods, and Tools for Complex Chip Design, 2012