Search Sciweavers | Sciweavers

12745 search results - page 80 / 2549

» Automating test automation

127

click to vote

DAC
2009
ACM

114views Computer Architecture» more DAC 2009»

Generating test programs to cover pipeline interactions

16 years 5 months ago

Download www.comp.nus.edu.sg

Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...

Thanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, ...

claim paper

Read More »

203

click to vote

DAC
2002
ACM

233views Computer Architecture» more DAC 2002»

A comparison of three verification techniques: directed testing, pseudo-random testing and property checking

16 years 5 months ago

Download www.cs.york.ac.uk

This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...

Mike Bartley, Darren Galpin, Tim Blackmore

claim paper

Read More »

click to vote

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Domain Theory and Differential Calculus (Functions of one Variable)

15 years 9 months ago