222 search results - page 9 / 45 » A Formal Verification Methodology for Checking Data Integrit... |
84
Voted
FDL
2005
IEEE
15 years 5 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
113
click to vote
FMCAD
1998
Springer
15 years 3 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
100
Voted
ICESS
2005
Springer
15 years 5 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
ICSE
2008
IEEE-ACM
16 years 14 days ago
2008
IEEE-ACM
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
FDBS
2001
15 years 1 months ago
2001
Integrating data sources is a general problem in many scenarios. The main problem is the heterogeneity between data sources which were created and developed separately. In the lit...