Linköping University: Students Alumni Trade and Industry/Society Internal Search
SSOCC04_danka

A Formal Verification Methodology for IP-based Designs

Daniel Karlsson
Petru Eles Author homepage
Zebo Peng Author homepage

Swedish System-on-Chip Conference 2004, Båstad, Sweden, April 13-14, 2004 (Informal Digest)

ABSTRACT

[KEP04] Daniel Karlsson, Petru Eles, Zebo Peng, "A Formal Verification Methodology for IP-based Designs", Swedish System-on-Chip Conference 2004, Båstad, Sweden, April 13-14, 2004 (Informal Digest)
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)