Search Sciweavers | Sciweavers

452 search results - page 6 / 91

» Incremental formal design verification

click to vote

FDL
2004
IEEE

135views Natural Language Processing» more FDL 2004»

A Formal Verification Approach for IP-based Designs

13 years 11 months ago

Download www.ida.liu.se

This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...

Daniel Karlsson, Petru Eles, Zebo Peng

claim paper

Read More »

click to vote

TELSYS
2002

126views more TELSYS 2002»

Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs

13 years 7 months ago

Download www.item.ntnu.no

Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...

Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...

claim paper

Read More »

click to vote

HASE
2008
IEEE

194views Control Systems» more HASE 2008»

Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications

13 years 7 months ago

Download www.deeds.informatik.tu-darmstadt.de

Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...

Kohei Sakurai, Péter Bokor, Neeraj Suri

claim paper

Read More »

click to vote

FMCAD
2009
Springer

145views Formal Methods» more FMCAD 2009»

Formal verification of analog designs using MetiTarski

14 years 1 months ago

Download fmv.jku.at

William Denman, Behzad Akbarpour, Sofiène T...

claim paper

Read More »