Search Sciweavers | Sciweavers

1129 search results - page 40 / 226

» Formal Verification of Websites

142

click to vote

VLSID
1997
IEEE

173views VLSI» more VLSID 1997»

Formal Verification of Digital Systems

15 years 10 months ago

Download www.math.fu-berlin.de

Gitanjali Swamy

claim paper

Read More »

111

click to vote

DAC
1997
ACM

64views Computer Architecture» more DAC 1997»

Formal Verification in a Commercial Setting

15 years 10 months ago

Download www.cerc.utexas.edu

Robert P. Kurshan

claim paper

Read More »

click to vote

DAC
1997
ACM

89views Computer Architecture» more DAC 1997»

Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation

15 years 10 months ago

Download www.cs.york.ac.uk

Manish Pandey, Richard Raimi, Randal E. Bryant, Ma...

claim paper

Read More »

136

click to vote

GLVLSI
1996
IEEE

91views VLSI» more GLVLSI 1996»

Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs

15 years 10 months ago

Download users.encs.concordia.ca

Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Ed...

claim paper

Read More »

122

click to vote

ICCD
1996
IEEE

83views Hardware» more ICCD 1996»

The use of random simulation in formal verification

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers