Test program generation for functional verification of PowerPC processors in IBM
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Code generation and analysis for the functional verification of micro processors
DAC '96 Proceedings of the 33rd annual Design Automation Conference
DAC '98 Proceedings of the 35th annual Design Automation Conference
Developing an architecture validation suite: application to the PowerPC architecture
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Functional verification—real users, real problems, real opportunities (panel)
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
A methodology for the verification of a “system on chip”
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Zen and the Art of Alpha Verification
ICCD '98 Proceedings of the International Conference on Computer Design
Coverage Metrics for Functional Validation of Hardware Designs
IEEE Design & Test
Xtensa with User Defined DSP Coprocessor Microarchitectures
ICCD '00 Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors
Fault Models and Test Generation for Hardware-Software Covalidation
IEEE Design & Test
Balancing design options with Sherpa
Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems
Smart diagnostics for configurable processor verification
Proceedings of the 42nd annual Design Automation Conference
Configurability in IP subystems: baseband examples
Proceedings of the Conference on Design, Automation and Test in Europe
| Hi-index | 0.00 |