參考文獻 |
[1] K.-J. Kuhm, “Moore’s Law past 32nm: Future Challenges in Device Scaling,” International Workshop on Computational Electronics, pp. 1-6, May 2009
[2] Vince Emery Marketing Communications, “The Pentium Chip Story: A learning Experience,” http://www.emery.com/1e/pentium.htm
[3] P. Rashinkar, P. Paterson and L. Singh, “ System-on-a-chip Verification – Methodology and Techniques ,” Springer, December 2000
[4] Intel Corporation, “Validating the Intel Pentium 4 Microprocessor,” ftp://download.intel.com/technology/itj/q12001/pdf/art_3.pdf
[5] A. Molina and O. Cadenas, “Functional verification: approaches and challenges,” Scientific Electronic Library Online, December 2007
[6] A. Mulpur, “Use co-Simulation for the functional verification of RTL implementations,” Chip Design magazine, February 2002
[7] RoweBots Research Incorporation, “Time To Market,” http://www.rowebots.com/embedded_economics/ time_market
[8] A. Czamara, “SoCs require a new verification approach,” EE Times magazine, March 2005
[9] Skold, S. and Ayani, R., “Fast simulation of HDL models IEEE 1995,” IEEE Potentials, vol. 14, no. 5, pp. 14-17, January 1996
[10] S. Deniziak and K. Sapiecha, “High Level Testbench Generation for VHDL Models,” Engineering of Computer-Based Systems, pp.146-151, March 1999
[11] P. Heng, “A Knowledge-Based Tool for Generating and Verifying Hardware-Ready Embedded Memory Models,” International Symposium on Quality Electronic Design, pp.456-459, March 2008
[12] Mentor Graphics, “Veloce emulation system,” http://www.mentor.com/ products /fv/emulation-systems/
[13] EVE, “ZeBu-XXL,” http://www.eve-team.com/products/zebu-xxl.php
[14] Cadence Design Systems, “Incisive Palladium series,” http://www.cadence.com/products/sd/palladium_series
[15] Cadence Design Systems, “Incisive Xtreme series,” http://www.cadence.com /products/fv/xtreme_series/Pages/default.aspx
[16] Accellera, “Standard Co-Emulation Modeling Interface Reference Manual,” http://www.eda.org/itc/scemi.pdf
[17] J. Andrews, “Modern simulation acceleration and emulation technology,” Cadence Design Systems, Incisive verification article, November 2005
[18] Altera Corporation, “SignalTap II Embedded Logic Analyzer,“ http://www.altera.com
[19] Xilinx Company, “ChipScope On Chip Debug Logic Analyzer,” http://www.xilinx.com
[20] Agilent Technologies, ”FPGA Dynamic Probe Data sheet ,” http://cp.literature.agilent.com/litweb/pdf/5989-0423EN.pdf
[21] IEEE standard, “IEEE Standard Test Access Port and Boundary-Scan Architecture,” IEEE standard 1149.1-2001
[22] C.-L. Chuang and C.-N. Jimmy Liu, “Hybrid Embedded Testbench Acceleration Technique for Reducing the Communication Overhead in Hardware-Accelerated Functional Verification,” to appear in IEEE Design and Test of Computers
[23] C.-L. Chuang, W.-H. Cheng, D.-J. Lu and C.-N. Jimmy Liu, “Hybrid Approach to Faster Functional Verification with Full Visibility,” IEEE Design and Test of Computers, vol. 24, no. 2, pp. 154-162, March 2007
[24] Aldec, “Riviera-PRO,” http://www.aldec.com”
[25] Y. Kim and C.-M. Kyung, “Tpartition: Testbench Partitioning for Hardware-Accelerated Functional Verification,” IEEE Design & Test of Computers, vol. 21, no. 6, pp. 494-502, November 2004
[26] H.-S. Choi, S.-B. Lee and S.-C. Park, “Instruction Based Testbench Architecture,” International Workshop System-on-Chip for Real-Time Applications, pp.329-333, July 2005
[27] Y. Kim and C.-M. Kyung, “Automatic Translation of Behavioral Testbench for Fully Accelerated Simulation,” International Conference on Computer Aided Design, pp. 218-221, November 2004
[28] I. Mavroidis and I. Papaefstathiou, “Efficient Testbench Code Synthesis for a Hardware Emulator System,” Design Automation & Test in Europe, pp. 888-893, April 2007
[29] R. Henftling, A. Zinn, M. Bauer, M. Zambaldi and W. Ecker, “Re-Use-Centric Architecture for a Fully Accelerated Testbench Environment,” Design Automation Conference, pp. 372-375, August 2003
[30] J. Bauer, M. Bershteyn, I. Kaplan and P. Vyedin “A Reconfigurable Logic Machine for Fast Event-Driven Simulation,” Design Automation Conference, pp 668-671, June 1998
[31] J. Andrews, “Keys to simulation acceleration and emulation success,” Cadence Design Systems, Incisive verification article, August 2005
[32] C.-H.-S. Ting, “Programming Embedded Systems in eForth,” O’reilly, 2003
[33] C.-L. Chuang and J.-E. Chen, “A FORTH System Implementation For Demonstration Of Hardware/Software co-desgn,” Chung Hua University master thesis, Taiwan, June 2000
[34] ARM, “ARM926EJ-S processor,” http://www.arm.com/products/CPUs /ARM926EJ-S.html
[35] ARM, “ARM1176 processor,” http://www.arm.com/products/CPUs /ARM1176.html
[36] A. Tiwari and K.-A. Tomko, “Scan-chain Based Watch-points for Efficient Run-Time Debugging and Verification of FPGA Designs”, Asia and South Pacific Design Automation Conference, pp. 705-711, January 2003
[37] Xilinx Corporation, “Readback Function, XAPP138 : Virtex Configuration and Readback,” http://www.xilinx.com/ipcenter/catalog/search/reference/ xapp138_virtex_configuration_and_readback.htm
[38] A. Carbine and D. Feltham, “ Pentium-Pro processor design for test and debug,” IEEE Test Conference, pp. 294-303, November 1997
[39] T. Wheeler, P. Graham, B. Nelson, and B. Hutchings, “Using Design-Level Scan to Improve FPGA Design Observability and Controllability for Functional Verification”, International Conference on Field-Programmable Logic and Applications, August 2001
[40] B. Vermeulen and S. K. Goel, “Design for Debug: Catching Design Errors in Digital Chips”, IEEE Design and Test of Computers, vol. 19, no. 3, pp. 37-45, May 2002
[41] C.-L. Chuang, D.-J. Lu and C.-N. Liu, “A Snapshot Method to Provide Full Visibility for Functional Debugging Using FPGA,” Asian Test Symposium, pp. 164-169, November 2004
[42] H.-M. Lin and J.-Y. Jou, “On Computing the Minimum Feedback Vertex Sets of a Directed Graph by Contraction Operations,” IEEE Transactions on Computer-Aided Design, vol. 19, no. 3, pp. 295-307, March 2000
[43] W.-H. Cheng, C.-L. Chuang and C.-N. Liu, “An Efficient Mechanism to Provide Full Visibility for Hardware Debugging,” International Symposium on Circuits and Systems, pp. 811-814, September 2006
[44] J. Marantz, “Enhanced Visibility and Performance in Functional Verification by Reconstruction,” Design Automation Conference, pp. 164-169, April 1998
[45] D. H. Lee and S. M. Reddy, “On Determining Scan Flip-Flops in Partial-Scan Designs,” International Conference on Computer Aided Design, pp. 322-325, November 1990
[46] R. Ashar and S. Malik, “Implicit computation of minimum-cost feedback-vertex sets for partial scan and other applications,” Design Automation Conference, pp. 76-80, March 1994
[47] S. T. Chakradhar, A. Balakrishnan, and V. D. Agrawal, “An exact algorithm for selecting partial scan flip-flops,” Design Automation Conference, pp. 81-86, March 1994
|