Search Sciweavers | Sciweavers

858 search results - page 11 / 172

» Formal Verification of Digital Systems

Voted

DATE
2007
IEEE

81views Hardware» more DATE 2007»

Formal verification of a pervasive interconnect bus system in a high-performance microprocessor

15 years 10 months ago

Download www.date-conference.com

Thuyen Le, Tilman Glökler, Jason Baumgartner

claim paper

Read More »

114

click to vote

FDL
2003
IEEE

101views Natural Language Processing» more FDL 2003»

Combining Formal Refinement and Model Checking for Real-Time Systems Verification

15 years 9 months ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

Voted

DSD
2002
IEEE

95views Hardware» more DSD 2002»

Reachability Analysis for Formal Verification of SystemC

15 years 9 months ago

Download www.scarpaz.com

Rolf Drechsler, Daniel Große

claim paper

Read More »

Voted

GLVLSI
1999
IEEE

81views VLSI» more GLVLSI 1999»

A Hierarchical Approach to the Formal Verification of Embedded Systems Using MDGs

15 years 8 months ago

Download users.encs.concordia.ca

Subhashini Balakrishnan, Sofiène Tahar

claim paper

Read More »

126

click to vote

KES
1997
Springer

111views Information Technology» more KES 1997»

Formal verification of the correctness in hybrid expert systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers