Verification Group / ABC / Addison-Wesley Publishing Company Inc. / IOS Press / RTL / Xilinx / Advances / /
Country
Austria / / /
Facility
Johann Glaser† Johannes Kepler University / Vienna University of Technology / In complex / HQ Rev / Prentice Hall / Austria Institute / ASIC Cell Library / Johannes Kepler University / /
FPGA / ASIC / Austria Institute for Integrated Circuits / Johann Glaser† Johannes Kepler University / Vienna University of Technology / /
Person
Marijn J. H. Heule / Hans van Maaren / Peter Jamieson / Clifford Wolf / Toby Walsh / Christoph Grimm / Johann Glaser / Jonathan Rose / Daniel D. Gajski / Jan Haase / Florian Schupfer / Stephen Williams / Armin Biere / Johann Glaser† Johannes / /