UltraSPARC-I

A fast and flexible performance simulator for micro-architecture trade-off analysis on UltraSPARC-I

DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference

System design methodology of ultraSPARC-I

DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference

Hardware emulation for functional verification of K5

DAC '96 Proceedings of the 33rd annual Design Automation Conference

Serial fault emulation

DAC '96 Proceedings of the 33rd annual Design Automation Conference

Module generation of complex macros for logic-emulation applications

FPGA '97 Proceedings of the 1997 ACM fifth international symposium on Field-programmable gate arrays

A real-time RTL engineering-change method supporting on-line debugging for logic-emulation applications

DAC '97 Proceedings of the 34th annual Design Automation Conference

Efficient error detection, localization, and correction for FPGA-based debugging

Proceedings of the 37th Annual Design Automation Conference

Fast development of source-level debugging system using hardware emulation (short paper)

ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference

A SAT Solver Using Reconfigurable Hardware and Virtual Logic

Journal of Automated Reasoning

High-level modeling and FPGA prototyping of microprocessors

FPGA '03 Proceedings of the 2003 ACM/SIGDA eleventh international symposium on Field programmable gate arrays

A fast hardware/software co-verification method for system-on-a-chip by using a C/C++ simulator and FPGA emulator with shared register communication

Proceedings of the 41st annual Design Automation Conference

An SoC design methodology using FPGAs and embedded microprocessors

Proceedings of the 41st annual Design Automation Conference

Instruction Set Emulation for Rapid Prototyping of SoCs

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1

Efficient Memory Utilization for High-Speed FPGA-Based Hardware Emulators with SDRAMs

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

RAPANUI: rapid prototyping for media processor architecture exploration

SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation

Using static analysis for coverage extraction fromemulation/prototyping platforms

Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis