Logic emulation has become an important part of ASIC verification over the past decade. Emulation systems often contain hundreds of logic processors, such as FPGAs, which can mimic the operation of an ASIC design prior to fabrication. Given the highly parallel nature of these systems, software support is critical. In this work we investigate application of a communication scheduling approach called Virtual Wires and its overall impact on emulation system performance. Topics involving incremental compilation of systems and support for designs with multiple asynchronous domains are covered.

Incremental Compilation for Logic Emulation
Design mapping for logic emulation often requires many hours of compilation time. The most time consuming part of the process is the compilation of tens or hundreds of individual logic processors (FPGAs). In this work, we attempt to minimize logic emulation design re-mapping time for small design changes. Rather than recompiling all FPGAs from scratch, only affected resources are identified and recompiled. We have demonstrated that compile time can be reduced by up to an order of magnitude for design changes ranging from 5 to 15% of the total design. Our approach has been demonstrated on an Ikos VirtuaLogic VLE-2M emulator containing 128 Xilinx XC4036 FPGAs.
  • R. Tessier and S. Jana, Incremental Compilation for Parallel Logic Verification Systems, in IEEE Transactions on VLSI Systems, vol 10, no. 5, October 2002, pp. 623-636. Download Postscript Document Download Adobe PDF Document
  • R. Tessier, Incremental Compilation for Logic Emulation, in the Proceeding of the 10th IEEE International Workshop on Rapid Systems Prototyping, Clearwater, Florida, June 1999. Download Postscript Document Download Adobe PDF Document

Multi-domain Scheduling for Logic Emulation
In most contemporary multi-FPGA logic emulators, communication between multiple FPGAs and between FPGAs and on-board memories is scheduled so that FPGA pin and board routing resources may be reused over time. To guarantee accurate results, scheduling is generally performed in reference to the design clock of the emulated design clock. The presence of multiple design clock domains, which have no phase relationship, can make communication scheduling difficult. Our approach to multi-domain scheduling isolates scheduling to individual domains and provides constraints for inter-domain interaction
  • M. Kudlugi and R. Tessier, Static Scheduling of Multi-domain Circuits for Fast Functional Verification, in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol 21, no. 11, November 2002, pp. 1253-1268. Download Postscript Document Download Adobe PDF Document
  • M. Kudlugi, C. Selvidge, and R. Tessier, Static Scheduling of Multi-Domain Memories for Functional Verification, in the Proceedings of the International Conference on Computer Aided Design, San Jose, California, November 2001. Download Adobe PDF Document
  • M. Kudlugi and R. Tessier, Multi-domain Communication for FPGA-based Logic Emulation, in the Proceedings of the 10th International Workshop on Logic and Synthesis, Lake Tahoe, Nevada, June 2001. Download Adobe PDF Document
  • M. Kudlugi, C. Selvidge, and R. Tessier, Static Scheduling of Multiple Asynchronous Domains for Functional Verification, in the Proceedings of the 38th Design Automation Conference, Las Vegas, Nevada, June 2001. Download Adobe PDF Document

Logic Emulation with Virtual Wires
Multi-FPGA logic emulators often contain hundreds of individual FPGAs. Due to dependencies, during design emulation, only a fraction of design logic and interconnect is active. In our Virtual Wires approach to emulation, inter-FPGA logic dependencies are analyzed and logic evaluation and inter-FPGA signal communication is scheduled. This approach overcomes FPGA pin limitations by reusing pin resources over time in a time-sliced fashion. In recent work, we interface SystemC, a C-based hardware description language, to an Ikos VirtuaLogic VLE-2M emulator, which is based on the Virtual Wires approach.
  • R. Ramaswamy and R. Tessier, The Integration of SystemC and Hardware-assisted Verification, in the Proceedings of the 12th International Conference on Field-Programmable Logic and Applications, Montpelier, France. September 2002. Download Adobe PDF Document
  • J. Babb, R. Tessier, M. Dahl, S. Hanano, D. Hoki, and A. Agarwal, Logic Emulation with Virtual Wires, in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, June 1997. Download Postscript Document Download Adobe PDF Document
  • R. Tessier, J. Babb, M. Dahl, S. Hanano, and A. Agarwal, The Virtual Wires Emulation System: A Gate-Efficient ASIC Prototyping Environment, in the Proceedings of the 2nd International ACM/SIGDA Workshop on Field Programmable Gate Arrays, Berkeley, California, February 1994. Download Postscript Document Download Adobe PDF Document