Clifford Wolf

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

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

David Shah and others (2019) · IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM)

Btor2 , BtorMC and Boolector 3.0

Aina Niemetz and others (2018) · Lecture notes in computer science · Springer Science+Business Media

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

Johann Glaser and others (2013) · Models, Methods, and Tools for Complex Chip Design · Springer International Publishing