Sciweavers

Share
351 search results - page 1 / 71
» Plug-and-Play Architectural Design and Verification
Sort
View
VLSID
2008
IEEE
225views VLSI» more  VLSID 2008»
10 years 7 months ago
Formal Verification of a Public-Domain DDR2 Controller Design
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...
Abhishek Datta, Vigyan Singhal
books