Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

ATS
2002
IEEE

favoriteEmaildiscussreport

74views Hardware» more ATS 2002»

Evolutionary Test Program Induction for Microprocessor Design Verification

13 years 9 months ago

Evolutionary Test Program Induction for Microprocessor Design Verification

Download www.cs.bham.ac.uk

Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda

Real-time Traffic

ATS 2002 | Hardware |

claim paper

Related Content

» Automatic generation of test sets for SBST of microprocessor IP cores

» A CBased RTL Design Verification Methodology for Complex Microprocessor

» New evolutionary techniques for testprogram generation for complex microprocessor cores

» StressTest an automatic approach to test generation via activity monitors

» GraphBased Functional Test Program Generation for Pipelined Processors

» Specificationbased compaction of directed tests for functional validation of pipelined pro...

» Designing Neural Networks Using Gene Expression Programming

» The data mining approach to automated software testing

» Dafny Meets the Verification Benchmarks Challenge

Post Info
More Details (n/a)

Added	14 Jul 2010
Updated	14 Jul 2010
Type	Conference
Year	2002
Where	ATS
Authors	Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero

Comments (0)