Search Sciweavers | Sciweavers

858 search results - page 11 / 172

» Formal Verification of Digital Systems

click to vote

DATE
2007
IEEE

81views Hardware» more DATE 2007»

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

15 years 11 months ago

Download www.date-conference.com

Thuyen Le, Tilman Glökler, Jason Baumgartner

claim paper

Read More »

128

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 10 months ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

click to vote

DSD
2002
IEEE

95views Hardware» more DSD 2002»

Reachability Analysis for Formal Verification of SystemC

15 years 10 months ago

Download www.scarpaz.com

Rolf Drechsler, Daniel Große

claim paper

Read More »

104

click to vote

GLVLSI
1999
IEEE

81views VLSI» more GLVLSI 1999»

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

15 years 9 months ago

Download users.encs.concordia.ca

Subhashini Balakrishnan, Sofiène Tahar

claim paper

Read More »

143

Voted

KES
1997
Springer

111views Information Technology» more KES 1997»

Formal verification of the correctness in hybrid expert systems

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers