Search Sciweavers | Sciweavers

2488 search results - page 43 / 498

» An improvement in formal verification

click to vote

DATE
2007
IEEE

81views Hardware» more DATE 2007»

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

16 years 14 days ago

Download www.date-conference.com

Thuyen Le, Tilman Glökler, Jason Baumgartner

claim paper

Read More »

102

click to vote

DSD
2007
IEEE

110views Hardware» more DSD 2007»

Proving Completeness of Properties in Formal Verification of Counting Heads for Railways

16 years 14 days ago

Download www.informatik.uni-bremen.de

Sebastian Kinder, Rolf Drechsler

claim paper

Read More »

120

click to vote

ICCAD
2007
IEEE

107views Hardware» more ICCAD 2007»

Formal verification at higher levels of abstraction

16 years 13 days ago

Download www.eecs.berkeley.edu

velsofAbstraction DanielKroening,OxfordUniversity SanjitA.Seshia,UCBerkeley ICCADTutorial November8,2007

Daniel Kroening, Sanjit A. Seshia

claim paper

Read More »

137

click to vote

RTA
2007
Springer

97views Theoretical Computer Science» more RTA 2007»

Formal Verification of an Optimizing Compiler

16 years 7 days ago

Download pauillac.inria.fr

Xavier Leroy

claim paper

Read More »

101

click to vote

DATE
2006
IEEE

68views Hardware» more DATE 2006»

Functional verification methodology based on formal interface specification and transactor generation

16 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers