Search Sciweavers | Sciweavers

1492 search results - page 4 / 299

» Testing Properties of Constraint-Graphs

click to vote

DAC
2002
ACM

101views Computer Architecture» more DAC 2002»

Constraint-driven communication synthesis

15 years 10 months ago

Download www1.cs.columbia.edu

Constraint-driven Communication Synthesis enables the automatic design of the communication architecture of a complex system from a library of pre-defined Intellectual Property (I...

Alessandro Pinto, Luca P. Carloni, Alberto L. Sang...

claim paper

Read More »

click to vote

SODA
2010
ACM

179views Algorithms» more SODA 2010»

Property Testing and Parameter Testing for Permutations

15 years 6 months ago

Download siam.org

There has been great interest in deciding whether a combinatorial structure satisfies some property, or in estimating the value of some numerical function associated with this com...

Carlos Hoppen, Yoshiharu Kohayakawa, Carlos G. T. ...

claim paper

Read More »

112

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

15 years 10 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

DAC
1999
ACM

129views Computer Architecture» more DAC 1999»

Proptest: A Property Based Test Pattern Generator for Sequential Circuits Using Test Compaction

15 years 10 months ago