Abstract
Verification of large VLSI digital circuits is primarily accomplished through simulation. In general, there is a trade-off between speed of processing and accuracy. Software simulation tools can be very accurate but are very slow compared to logic accelerators and emulation systems. These latter systems, many FPGA based, while two to three orders of magnitude faster than software, deliver inferior timing analysis, in the latter case and cycle-based simulation it is merely equivalent to functional simulation. APPLES (Associative Parallel Processor for Logic Event-driven Simulation) is the first Full Gate-timing Logic Hardware Simulator, implemented in Xilinx Virtex-II technology. APPLES is a true simulator, delivering timing analysis with the accuracy of a software simulator, but has the distinction that processing is executed entirely in hardware devoid of any machine code. This has the potential to permit APPLES to be one to two orders of magnitude faster than equivalent software systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
MacMillan, et al.: An Industrial View of Electronic Design Automation. IEEE Trans CAD of ICs and Systems 19(12), 1428–1449 (2000)
Darringer, et al.: EDA in IBM: Past, Present and Future. IEEE Trans. CAD of ICs and Systems 19(12), 1476–1498 (2000)
Breuer, et al.: Fundamental CAD Algorithms. IEEE Trans. CAD of ICs and Systems 19(12), 1449–1476 (2000)
Dunn: IBM’s Engineering Design System Support for VLSI Design and Verification. IEEE Design and Test of Computers, 30–40 (February 1984)
Agrawal et al: Logic Simulation and Parallel Processing. In: IEEE Proc. Intl. Conf. on CAD (ICCAD) (1990)
Soule et al: Parallel Logic Simulation on General Purpose Machines. In: IEEE Proc. Design Automation Conf., 166–171 (June 1988)
Mueller-Thuns, et al.: Benchmarking Parallel Processing Platforms: An Application Perspective. IEEE Trans on Parallel and Distributive Systems 4(8) (August 1998)
Chandy, M.: Asynchronous Distributed Simulation via Sequence of Parallel Computations. Comm. ACM 24(ii) (April 1981)
Bryant: Simulation of Packet Communications Architecture Computer Systems. Tech Rept MIT-LCS-TR-188. MIT Cambridge, USA (!977)
Briner: Parallel Mixed Level Simulation of Digital Circuits Virtual Time. PH.D Thesis, Dept. of Elec. Eng., Duke University (1990)
Jefferson: Virtual Time. ACM Trans Programming Languages Systems, 404-425 (July 1985)
Soule, G.: Characterisation of Parallelism and Deadlocks in Distributed Digital Logic Simulation. In: Proc. 26th Design Automation Conf., 81–86 (June 1989)
Ghosh, L.: An Asynchronous Distributed Approach for the Simulation of Behavior-level Models on Parallel Processors. IEEE Trans on Parallel and Distributed Systems 6(6) (1995)
www.cadence.com , www.memtorgraphics.com , www.aldec.com , www.aptix.com , www.axis.com , www.tharas.com , www.eve.com
Dalton: The Speedup Performance of an Associative Memory Based Logic Simulator. In: Proc. 5th Intl. Conf. on Parallel Computation Technologies (PaCT 1999), St Petersburg, Russia, LNCS Springer-Verlag (September 1999)
Dalton: Avoiding Conventional Overheads in Parallel Logic Simulation: A New Architecture. In: ACM/IEEE Proc. Intl. Conf. on High Performance Computing, Calcutta, India, December (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dalton, D. et al. (2003). APPLES: A Full Gate-Timing FPGA-Based Hardware Simulator. In: Y. K. Cheung, P., Constantinides, G.A. (eds) Field Programmable Logic and Application. FPL 2003. Lecture Notes in Computer Science, vol 2778. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45234-8_144
Download citation
DOI: https://doi.org/10.1007/978-3-540-45234-8_144
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40822-2
Online ISBN: 978-3-540-45234-8
eBook Packages: Springer Book Archive