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

14 years 4 months ago

Download www.date-conference.com

Thuyen Le, Tilman Glökler, Jason Baumgartner

claim paper

Read More »

click to vote

DSD
2007
IEEE

110views Hardware» more DSD 2007»

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

14 years 4 months ago

Download www.informatik.uni-bremen.de

Sebastian Kinder, Rolf Drechsler

claim paper

Read More »

click to vote

ICCAD
2007
IEEE

107views Hardware» more ICCAD 2007»

Formal verification at higher levels of abstraction

14 years 4 months ago

Download www.eecs.berkeley.edu

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

Daniel Kroening, Sanjit A. Seshia

claim paper

Read More »

click to vote

RTA
2007
Springer

97views Theoretical Computer Science» more RTA 2007»

Formal Verification of an Optimizing Compiler

14 years 4 months ago

Download pauillac.inria.fr

Xavier Leroy

claim paper

Read More »

click to vote

DATE
2006
IEEE

68views Hardware» more DATE 2006»

Functional verification methodology based on formal interface specification and transactor generation

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers