3742 search results - page 26 / 749 » On the Use of Formal Techniques for Validation |
CODES
2000
IEEE
15 years 4 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
111
click to vote
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
Functional validation is a major bottleneck in pipelined processor design. Simulation using functional test vectors is the most widely used form of processor validation. While exi...
EDCC
2010
Springer
15 years 4 months ago
2010
Springer
—This paper investigates sources of uncertainty in measurement results obtained using three different fault injection techniques. Two software-implemented and one test port-based...
DSN
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
EDO
2005
Springer
15 years 5 months ago
2005
Springer
An SQL injection attack targets interactive web applications that employ database services. Such applications accept user input, such as form fields, and then include this input ...